Computer Science Logic
Subtitle: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers (Lecture Notes in Computer Science)
Contributors: Egon Börger (Editor); Gerhard Jäger (Editor); Hans Kleine Büning (Editor); Simone Martini (Editor); Michael M. Richter (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 10, 1993
Language: eng
Format: Paperback
Number of pages: 439
ISBN-13: 9783540569923
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Logic Design; Computers - General Information; Logic; Machine Theory; Computers / Logic Design; Lambda-Calculus; Lambda-Kalkül; Linear Logic; Lineare Logik; NP-Completeness; NP-Vollständigkeit; Turing Maschine; Type Theory; Typentheorie; Computer science; Congresses; Logic, Symbolic and mathematical
First sentence: The Turing machine is defined by the Figure 1 or the Table 1.