Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Blass, Andreas
Dershowitz, Nachum
and
Gurevich, Yuri
2010.
Computer Science Logic.
Vol. 6247,
Issue. ,
p.
140.
Sjögren, Jörgen
2010.
A Note on the Relation Between Formal and Informal Proof.
Acta Analytica,
Vol. 25,
Issue. 4,
p.
447.
Boker, Udi
and
Dershowitz, Nachum
2010.
Fields of Logic and Computation.
Vol. 6300,
Issue. ,
p.
135.
Ferbus-Zanda, Marie
and
Grigorieff, Serge
2010.
Fields of Logic and Computation.
Vol. 6300,
Issue. ,
p.
301.
Blass, Andreas
and
Gurevich, Yuri
2011.
Persistent queries in the behavioral theory of algorithms.
ACM Transactions on Computational Logic,
Vol. 12,
Issue. 2,
p.
1.
Gurevich, Yuri
2012.
How the World Computes.
Vol. 7318,
Issue. ,
p.
264.
Dershowitz, Nachum
2012.
The Generic Model of Computation.
Electronic Proceedings in Theoretical Computer Science,
Vol. 88,
Issue. ,
p.
59.
Bournez, Olivier
Dershowitz, Nachum
and
Falkovich, Evgenia
2012.
Theory and Applications of Models of Computation.
Vol. 7287,
Issue. ,
p.
525.
Rescorla, Michael
2012.
Copeland and Proudfoot on computability.
Studies in History and Philosophy of Science Part A,
Vol. 43,
Issue. 1,
p.
199.
Dodig Crnkovic, Gordana
and
Burgin, Mark
2012.
Unconventional Algorithms: Complementarity of Axiomatics and Construction.
Entropy,
Vol. 14,
Issue. 11,
p.
2066.
Dershowitz, Nachum
and
Falkovich, Evgenia
2012.
Honest universality.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences,
Vol. 370,
Issue. 1971,
p.
3340.
Grigorieff, Serge
and
Valarcher, Pierre
2012.
Functionals Using Bounded Information and the Dynamics of Algorithms.
p.
345.
Pégny, Maël
2012.
Les deux formes de la thèse de Church-Turing et l’épistémologie du calcul.
Philosophia Scientae,
p.
39.
Dowek, Gilles
2012.
Language and Automata Theory and Applications.
Vol. 7183,
Issue. ,
p.
21.
Gurevich, Yuri
2012.
SOFSEM 2012: Theory and Practice of Computer Science.
Vol. 7147,
Issue. ,
p.
31.
Dershowitz, Nachum
and
Falkovich, Evgenia
2012.
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-.
Electronic Proceedings in Theoretical Computer Science,
Vol. 88,
Issue. ,
p.
72.
Hinrichs, Timothy L.
Martinoia, Diego
Garrison, William C.
Lee, Adam J.
Panebianco, Alessandro
and
Zuck, Lenore
2013.
Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.
p.
145.
Fresco, Nir
2013.
Information Processing as an Account of Concrete Digital Computation.
Philosophy & Technology,
Vol. 26,
Issue. 1,
p.
31.
Fresco, Nir
2014.
Physical Computation and Cognitive Science.
Vol. 12,
Issue. ,
p.
133.
Ferbus-Zanda, Marie
2014.
Constructivity and Computability in Historical and Philosophical Perspective.
Vol. 34,
Issue. ,
p.
95.