Results and Trends in Theoretical Computer Science
Subtitle: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings (Lecture Notes in Computer Science)
Contributors: Juliani Karhumdki (Editor); Hermann Maurer (Editor); Grzegorz Rozenberg (Editor)
Publisher: Springer
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 445
ISBN-13: 9783540581314
Subjects: Mathematical theory of computation; Logic; Mathematics; Computer Science; Logic Design; Congresses
First sentence: Stephen A. Cook described a transformation in 1971 that can, for instance, improve program running times from exponential to linear (as functions of their input size).