Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Tucker, John V. - Department of Computer Science, University of Wales Swansea
Computations via experiments with kinematic E.J. Beggs2
UNIVERSITY OF WALES SWANSEA REPORT SERIES
April 19, 2007 J A Bergstra1
The Journal of Logic and Algebraic Programming 62 (2005) 71108
Abstract Computability and Algebraic Specification
The Rational Numbers as an Abstract Data Type J. A. BERGSTRA
Universal Algebra K. Meinke and J. V. Tucker
A Network Model of Analogue Computation over Metric Algebras
CiE Athens 2008 Applied Computability: A European Perspective
Abstract Versus Concrete Computation on Metric Partial Algebras
Science of Computer Programming 49 (2003) 4788 www.elsevier.com/locate/scico
Embedding infinitely parallel computation in Newtonian kinematics
Accepted Manuscript Computability of analog networks
The Rational Numbers as an Abstract Data Type1 J A Bergstra2
Newtonian systems, bounded in space, time, mass and energy can compute all functions1
Computational complexity with experiments as oracles Edwin Beggs, Jose Felix Costa, Bruno Loff & John Tucker
Data, Syntax and Semantics An Introduction to Modelling Programming Languages
