Automata, Languages and Programming
Subtitle: 20th International Colloquium, Icalp 93, Lund, Sweden, July 5-9, 1993. Proceedings (Lecture Notes in Computer Science)
Contributors: Andrzej Lingas (Editor); Rolf Karlsson (Editor); Svante Carlsson (Editor)
Publisher: Not Avail
Published: July 1993
Language: eng
Format: Paperback
Number of pages: 697
ISBN-13: 9783540569398
Subjects: Computer Programming; General Theory of Computing; Programming - General; Computer Science; Computers - General Information; Computer Books: General; Logic Design
First sentence: This talk restricts attention to program result checkers for a certain clean class of computational problems.