Logic and Computational Complexity
Subtitle: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 12, 1995
Language: eng
Format: Paperback
Number of pages: 514
ISBN-13: 9783540601784
Subjects: Mathematical theory of computation; Mathematics for scientists & engineers; Theory Of Computing; Logic; Computer Logic; Computers; Mathematics; Science/Mathematics; Computer Books: General; Logic, Symbolic and mathematic; Computer Science; Algorithmische Komplexität; Applicative Complexity; Applikative Komplexität; Beweistheoretische Komplexität; Beweistheorie; Computers / Computer Science; Model Theory; Modelltheorie; Computational complexity; Congresses; Logic, Symbolic and mathematical