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.
Boker, Udi
and
Dershowitz, Nachum
2010.
Fields of Logic and Computation.
Vol. 6300,
Issue. ,
p.
135.
Sjögren, Jörgen
2010.
A Note on the Relation Between Formal and Informal Proof.
Acta Analytica,
Vol. 25,
Issue. 4,
p.
447.
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.
SOFSEM 2012: Theory and Practice of Computer Science.
Vol. 7147,
Issue. ,
p.
31.
Gurevich, Yuri
2012.
How the World Computes.
Vol. 7318,
Issue. ,
p.
264.
Dowek, Gilles
2012.
Language and Automata Theory and Applications.
Vol. 7183,
Issue. ,
p.
21.
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.
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.
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.
Grigorieff, Serge
and
Valarcher, Pierre
2012.
Functionals Using Bounded Information and the Dynamics of Algorithms.
p.
345.
Bournez, Olivier
Dershowitz, Nachum
and
Falkovich, Evgenia
2012.
Theory and Applications of Models of Computation.
Vol. 7287,
Issue. ,
p.
525.
Dershowitz, Nachum
2012.
The Generic Model of Computation.
Electronic Proceedings in Theoretical Computer Science,
Vol. 88,
Issue. ,
p.
59.
Fresco, Nir
2013.
Information Processing as an Account of Concrete Digital Computation.
Philosophy & Technology,
Vol. 26,
Issue. 1,
p.
31.
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.
Dershowitz, Nachum
and
Falkovich, Evgenia
2014.
Language, Life, Limits.
Vol. 8493,
Issue. ,
p.
133.
Zenil, Hector
2014.
What Is Nature-Like Computation? A Behavioural Approach and a Notion of Programmability.
Philosophy & Technology,
Vol. 27,
Issue. 3,
p.
399.
Fresco, Nir
2014.
Physical Computation and Cognitive Science.
Vol. 12,
Issue. ,
p.
133.