Automata, Languages and Programming
Subtitle: 20th International Colloquium, Icalp 93 Lund, Sweden, July 5-9, 1993 Proceedings (I C a L P//Automata, Languages, and Programming)
Contributors: S. Carlsson (Editor)
Publisher: Springer
Published: September 1993
Language: eng
Format: Paperback
Number of pages: 709
ISBN-13: 9780387569390
Subjects: Computer Science; Logic Design; Automata; Computers; Computers - General Information; Computer Books: General
First sentence: This talk restricts attention to program result checkers for a certain clean class of computational problems.