Exact Exploration and Hanging Algorithms

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 June 3, 2011); longer version at http://nachum.org/papers/ExactExploration.pdf (viewed May 27, 2011) Udi Boker Nachum Dershowitz 2006 Comparing Computational Power Logic Journal of the IGPL 14 5 633–648 10.1007/978-3-540-78127-1 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-642-15205-4_14 Available at http://nachum.org/papers/ArbitraryDomains.pdf (viewed Aug. 11, 2010) Stephen A. Cook Robert A. Reckhow 1973 Time-Bounded Random Access Machines Journal of Computer Systems Science 7 73–80 10.1145/800152.804898 Available at http://www.cs.berkeley.edu/~christos/classics/Deutsch_quantum_theory.pdf (viewed June 3, 2011) Nachum Dershowitz 2012 The Generic Model of Computation Proceedings of the Seventh International Workshop on Developments in Computational Models (DCM 2011, July 2012, Zurich, Switzerland) Electronic Proceedings in Theoretical Computer Science Available at http://nachum.org/papers/Generic.pdf (viewed July 13, 2012) 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 Apr. 15, 2009) 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 Apr. 15, 2009) 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 Apr. 15, 2009) Ian Parberry 1986 Parallel Speedup of Sequential Machines: A Defense of Parallel Computation Thesis SIGACT News 18 1 54–67 10.1145/8312.8317 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 Available at http://www.informatik.uni-bremen.de/agbkb/lehre/rbs/texte/Termgraph rewriting.pdf (viewed June 3, 2011) Comandure Seshadhri Anil Seth Somenath Biswas 2007 RAM Simulation of BGS Model of Abstract-State-Machines Fundamenta Informaticae 77 1–2 175–185 Available at http://www.cse.iitk.ac.in/users/sb/papers/asm2ram.pdf (viewed June 3, 2011)