John V. Tucker - PDFSEARCH.IO - Document Search Engine

John V. Tucker
Results: 12

#	Item
1	Axiomatising physical experiments as oracles to algorithms Edwin J. Beggsa , Jos´e F´elix Costab∗ , and John V. Tuckerc a Department of Mathematics, College of Sciences, Swansea University, Swansea SA2 8PP, Wales, Un Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-04-11 07:58:28 Computability theory Complexity classes Models of computation Alan Turing Oracle machine Turing reduction John V. Tucker Probabilistic Turing machine Reduction Theoretical computer science Applied mathematics Computational complexity theory
2	Newtonian systems, bounded in space, time, mass and energy can compute all functions1 E.J. Beggs2 and J.V. Tucker3 University of Wales Swansea, Singleton Park, Swansea, SA2 8PP, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-09-20 12:52:16 Applied mathematics Computability theory Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Quantum computer Theoretical computer science Theory of computation Computer science
3	JOHN V TUCKER CLASSIFIED LIST OF PUBLICATIONS March 2013 My research publications can be classified under the following headings: Books Surveys Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2013-04-07 11:34:35 John V. Tucker Computer science Mathematics Theory of computation Computability theory Jan Bergstra Viggo Stoltenberg-Hansen Fellows of the British Computer Society Theoretical computer science Alumni of the University of Bristol
4	The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2007-04-14 14:30:54 Model theory Algebraic structures Mathematical structures Field theory First-order logic Type Structure Universal algebra John V. Tucker Mathematics Abstract algebra Algebra
5	Embedding infinitely parallel computation in Newtonian kinematics E.J. Beggs a,1 J.V. Tucker b,2 a Department b Department Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-07-15 04:55:07 Applied mathematics Computability theory Models of computation Turing machine Hypercomputation Computable function John V. Tucker Computability Computation Theoretical computer science Computer science Theory of computation
6	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES Experimental computation of real numbers by Newtonian machines by Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-10-05 05:03:30 Computer science Applied mathematics Computable function John V. Tucker Hypercomputation Church–Turing thesis Classical mechanics Computable number Computability Theoretical computer science Theory of computation Computability theory
7	THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-07-14 09:38:18 Algebraic structures Alumni of the University of Bristol John V. Tucker Universal algebra Boolean algebra Interior algebra Banach algebra Abstract algebra Algebra Mathematics
8	Computations via experiments with kinematic systems1 E.J. Beggs2 and J.V. Tucker3 University of Wales Swansea, Singleton Park, Swansea, SA3 2HN, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-16 05:09:52 Classical mechanics Computer science Applied mathematics Computable function Quantum mechanics Recursive set John V. Tucker Kinematics Computability Theory of computation Computability theory Physics
9	CiE Athens 2008 Applied Computability: A European Perspective J V Tucker Swansea University General Reflections on Models J V Tucker and J I Zucker, Abstract versus concrete computability: The case of countable Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2008-06-11 09:22:18 John V. Tucker Computer science Computability theory Logic Viggo Stoltenberg-Hansen Mathematical logic Computable function Computability Theoretical computer science Theory of computation Alumni of the University of Bristol
10	Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2002-09-23 17:38:51 Algebraic structures Universal algebra Mathematical structures John V. Tucker Model theory Computable function Subalgebra Computability theory Structure Mathematics Algebra Abstract algebra