Computation Theory and Logic (Lecture notes in computer science, vol.270) - Softcover

B??rger, Egon

 
9783540181705: Computation Theory and Logic (Lecture notes in computer science, vol.270)
Softcover
ISBN 10: 3540181709 ISBN 13: 9783540181705
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540181709
ISBN 13 
9783540181705
Einband
Taschenbuch
Anzahl der Seiten
460
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387181707: Computation Theory and Logic (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387181709 ISBN 13:  9780387181707
Verlag: Springer-Verlag, 1987
Softcover