Computation Theory and Logic (Lecture Notes in Computer Science) - Softcover

Borger, Egon (ed.)

 
9780387181707: Computation Theory and Logic (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387181709 ISBN 13: 9780387181707
Publisher: Springer-Verlag, 1987

Synopsis

Computation Theory and Logic This volume contains 37 invited research papers collected in memory of Dieter Rodding, 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 refl... Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag
Publication date
1987
Language
English
ISBN 10 
0387181709
ISBN 13 
9780387181707
Binding
Paperback

Other Popular Editions of the Same Title

9783540181705: Computation Theory and Logic (Lecture Notes in Computer Science, 270)

Featured Edition

ISBN 10:  3540181709 ISBN 13:  9783540181705
Publisher: Springer, 1987
Softcover