You are accessing PhilPapers from Open University (UK), an institution that is not subscribed to PhilPapers. Starting on July 1, 2014, we ask institutions that grant philosophy degrees and are based in high-GDP countries to contribute to PhilPapers' maintenance and development through a subscription. See this page for details. Please show your support by contacting your librarian.
10 found
Sort by:
  1. C. J. Topping, M. J. Rehder & B. H. Mayoh (1999). Viola: A New Visual Programming Language Designed for the Rapid Development of Interacting Agent Systems. Acta Biotheoretica 47 (2).
    The construction of complex simulation models and the application of new computer hardware to ecological problems has resulted in the need for many ecologists to rely on computer programmers to develop their modelling software. However, this can lead to a lack of flexibility and understanding in model implementation and in resource problems for researchers. This paper presents a new programming language, Viola, based on a simple organisational concept which can be used by most researchers to develop complex simulations much more (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. B. H. Mayoh (1997). Moschovakis Yiannis N.. Notation Systems and Recursive Ordered Fields. Compositio Mathematica, Vol. 17 No. 1 (1965), Pp. 40–71. [REVIEW] Journal of Symbolic Logic 31 (4):650-651.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. B. H. Mayoh (1997). Moschovakis YN. Recursive Metric Spaces. Fundamenta Mathematicae, Vol. 55 (1964), Pp. 215–238. Journal of Symbolic Logic 31 (4):651-652.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) (1979). Proceedings From 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979. Distruberet Af Aalborg Universitetsforlag.
     
    My bibliography  
     
    Export citation  
  5. B. H. Mayoh (1969). Review: Donald Kalish, Richard Montague, Logic. Techniques of Formal Reasoning. [REVIEW] Journal of Symbolic Logic 34 (4):641-642.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. B. H. Mayoh (1969). Review: Rolf Schock, Logik. [REVIEW] Journal of Symbolic Logic 34 (4):642-642.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. B. H. Mayoh (1968). Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem. [REVIEW] Journal of Symbolic Logic 33 (1):121-121.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. B. H. Mayoh (1967). Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW] Journal of Symbolic Logic 32 (3):412-413.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. B. H. Mayoh (1966). Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW] Journal of Symbolic Logic 31 (4):650-651.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. B. H. Mayoh (1966). Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW] Journal of Symbolic Logic 31 (4):651-652.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation