Pablo Arrighi
Gilles Dowek
2013
Causal Graph Dynamics
Information and Computation
223
78–93
10.1007/978-3-642-31585-5_9
Available at http://arxiv.org/pdf/1202.1098v3.pdf (viewed February 15, 2014)
Andreas Blass
Nachum Dershowitz
Yuri Gurevich
2010
Exact Exploration and Hanging Algorithms
Proceedings of the 19th EACSL Annual Conferences on Computer Science Logic (Brno, Czech Republic)
Lecture Notes in Computer Science
6247
Springer
Berlin, Germany
140–154
10.1007/978-3-642-15205-4_14
Available at http://nachum.org/papers/HangingAlgorithms.pdf (viewed February 15, 2015); longer version at http://nachum.org/papers/ExactExploration.pdf (viewed February 15, 2015)
Andreas Blass
Yuri Gurevich
Saharon Shelah
1999
Choiceless Polynomial Time
Annals of Pure and Applied Logic
100
141–187
10.1016/S0168-0072(99)00005-6
Andreas Blass
Yuri Gurevich
Saharon Shelah
2002
On Polynomial Time Computation Over Unordered Structures
Journal of Symbolic Logic
67:3
1093–1125
10.2178/jsl/1190150152
Udi Boker
Nachum Dershowitz
2008
The Church-Turing Thesis over Arbitrary Domains
Arnon Avron
Nachum Dershowitz
Alexander Rabinovich
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday
Lecture Notes in Computer Science
4800
Springer
199–229
10.1007/978-3-540-78127-1_12
Available at http://nachum.org/papers/ArbitraryDomains.pdf (viewed February 15, 2015)
Nachum Dershowitz
2012
The Generic Model of Computation
Electronic Proceedings in Theoretical Computer Science
10.4204/EPTCS.88.5
Available at http://nachum.org/papers/Generic.pdf (viewed February 13, 2013)
Nachum Dershowitz
Evgenia Falkovich
2011
A Formalization and Proof of the Extended Church-Turing Thesis
E. Kashefi
J. Krivine
F. van Raamsdonk
Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011)
EPTCS
88
Zurich, Switzerland
72–78
10.4204/EPTCS.88.6
Available at http://nachum.org/papers/ECTT_EPTCS.pdf (viewed February 15, 2015)
Nachum Dershowitz
Evgenia Falkovich
2014
The Invariance Thesis
Submitted. Available at http://nachum.org/papers/TIH.pdf (viewed February 15, 2015)
Nachum Dershowitz
Yuri Gurevich
2008
A Natural Axiomatization of Computability and Proof of Church's Thesis
Bulletin of Symbolic Logic
14
3
299–350
10.2178/bsl/1231081370
Available at http://nachum.org/papers/Church.pdf (viewed February 15, 2015)
Gilles Dowek
2012
The Physical Church Thesis as an Explanation of the Galileo Thesis
Natural Computing
11
2
247–251
10.1007/s11047-011-9301-x
Robin Gandy
1980
Church's Thesis and Principles for Mechanisms
The Kleene Symposium
Studies in Logic and the Foundations of Mathematics
101
North-Holland
123–148
10.1016/S0049-237X(08)71257-6
E. Mark Gold
1965
Limiting Recursion
J. Symbolic Logic
30
1
28–48
10.2307/2270580
Yuri Gurevich
1995
Evolving Algebras 1993: Lipari Guide
Egon Börger
Specification and Validation Methods
Oxford University Press
9–36
Available at http://research.microsoft.com/~gurevich/opera/103.pdf (viewed February 15, 2015)
Yuri Gurevich
2000
Sequential Abstract State Machines Capture Sequential Algorithms
ACM Transactions on Computational Logic
1
1
77–111
10.1145/343369.343384
Available at http://research.microsoft.com/~gurevich/opera/141.pdf (viewed February 15, 2015)
John von Neumann
Arthur W. Burks
1966
Theory of Self-Reproducing Automata
University of Illinois Press
Urbana, IL
One chapter available at http://cba.mit.edu/events/03.11.ASE/docs/VonNeumann.pdf (viewed Febraury 15, 2015)
Detlef Plump
1999
Term Graph Rewriting
H. Ehrig
G. Engels
H.-J. Kreowski
G. Rozenberg
Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools
1
volume 2
World Scientific
3–61
10.1142/9789812815149_0001
Available at http://www.informatik.uni-bremen.de/agbkb/lehre/rbs/texte/Termgraph-rewriting.pdf (viewed February 15, 2015)
Hilary Putnam
1965
Trial and Error Predicates and the Solution to a Problem of Mostowski
J. Symbolic Logic
30
1
49–57
10.2307/2270581
Wolfgang Reisig
2003
On Gurevich's Theorem on Sequential Algorithms
Acta Informatica
39
4
273–305
10.1007/s00236-002-0106-3
Available at http://www2.informatik.hu-berlin.de/top/download/publications/Reisig2003_ai395.pdf (viewed February 15, 2015)