Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Scott, Dana
1967.
Some definitional suggestions for automata theory.
Journal of Computer and System Sciences,
Vol. 1,
Issue. 2,
p.
187.
Jones, J. P.
and
Matijasevič, Y. V.
1984.
Register machine proof of the theorem on exponential diophantine representation of enumerable sets.
Journal of Symbolic Logic,
Vol. 49,
Issue. 3,
p.
818.
Bergstra, J.A.
and
Klop, J.W.
1984.
Proving program inclusion using Hoare's logic.
Theoretical Computer Science,
Vol. 30,
Issue. 1,
p.
1.
Bergstra, J. A.
and
Tiuryn, J.
1984.
Logics of Programs.
Vol. 164,
Issue. ,
p.
45.
COUSOT, Patrick
1990.
Formal Models and Semantics.
p.
841.
Jones, J. P.
and
Matijasevič, Y. V.
1991.
Proof of Recursive Unsolvability of Hilbert's Tenth Problem.
The American Mathematical Monthly,
Vol. 98,
Issue. 8,
p.
689.
1992.
Vol. 125,
Issue. ,
p.
603.
Lincoln, Patrick
Mitchell, John
Scedrov, Andre
and
Shankar, Natarajan
1992.
Decision problems for propositional linear logic.
Annals of Pure and Applied Logic,
Vol. 56,
Issue. 1-3,
p.
239.
Matiyasevich, Yuri
1994.
A direct method for simulating partial recursive functions by Diophantine equations.
Annals of Pure and Applied Logic,
Vol. 67,
Issue. 1-3,
p.
325.
Lafont, Yves
1996.
The undecidability of second order linear logic without exponentials.
Journal of Symbolic Logic,
Vol. 61,
Issue. 2,
p.
541.
Kanovich, Max I.
1996.
Linear logic automata.
Annals of Pure and Applied Logic,
Vol. 78,
Issue. 1-3,
p.
147.
Lambek, J.
1997.
Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 3,
p.
312.
Kopylov, Alexei P.
1997.
Logical Foundations of Computer Science.
Vol. 1234,
Issue. ,
p.
156.
Hölldobler, Steffen
and
Kuske, Dietrich
2000.
Logic for Programming and Automated Reasoning.
Vol. 1955,
Issue. ,
p.
436.
Straßburger, Lutz
2003.
System NEL is Undecidable.
Electronic Notes in Theoretical Computer Science,
Vol. 84,
Issue. ,
p.
166.
Gärtner, Hans-Martin
and
Michaelis, Jens
2005.
Logical Aspects of Computational Linguistics.
Vol. 3492,
Issue. ,
p.
114.
Matiyasevich, Yuri
2005.
New Computational Paradigms.
Vol. 3526,
Issue. ,
p.
310.
Kobele, Gregory M.
2005.
Features Moving Madly: A Formal Perspective on Feature Percolation in the Minimalist Program.
Research on Language and Computation,
Vol. 3,
Issue. 2-3,
p.
391.
Krishna, Shankara Narayanan
2006.
Logical Approaches to Computational Barriers.
Vol. 3988,
Issue. ,
p.
526.
Krishna, Shankara Narayanan
2007.
Computation and Logic in the Real World.
Vol. 4497,
Issue. ,
p.
695.