Logical Foundations of Computer Science
Subtitle: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Sergei Adian (Editor); Anil Nerode (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 11, 1997
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9783540630456
Subjects: Mathematical logic; Mathematical theory of computation; Logic, Symbolic and mathematical; Congresses; Mathematical And Symbolic Logic; Computer Logic; Computers - General Information; Logic, Symbolic and mathematic; Computer Books: Languages; Logic Design; Electronic data processing; Logic; Machine Theory; Endliche Modelltheorie; Ersetzungssysteme; Informatik-Logik; Logische Grundlagen; Mathematics / Logic; Nichtklassische Logiken; Computer Science; Computers