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