Lecture Notes in Logic

$K$-graph machines: generalizing Turing's machines and arguments

Wilfried Sieg and John Byrnes

Full-text: Open access

Chapter information

Source
Petr Hájek, ed., Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings (Berlin: Springer-Verlag, 1996), 98-119

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.lnl/1235417017

Mathematical Reviews number (MathSciNet)
MR1441105

Zentralblatt MATH identifier
0856.03032

Rights
Copyright © 1996, Association for Symbolic Logic

Citation

Sieg, Wilfried; Byrnes, John. $K$-graph machines: generalizing Turing's machines and arguments. Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings, 98--119, Springer-Verlag, Berlin, 1996. https://projecteuclid.org/euclid.lnl/1235417017


Export citation