ENGLISH

Computation Theory and Logic

By Klaus Ambos-Spies (auth.) , Egon Börger (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1987
ISBN
3540181709, 9783540181705
DOI
10.1007/3-540-18170-9
Open Library ID
OL9700462M
Language
english
Format
DJVU
Filesize
5 MB (4719739 bytes)
Series
Lecture Notes in Computer Science 270
Edition
1
Pages
442\451
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Computation by Abstract Devices

Description

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.

Similar books