Computation Theory and Logic: 270 (Lecture Notes in Computer Science, 270) - Tapa blanda

B??rger, Egon

 
9783540181705: Computation Theory and Logic: 270 (Lecture Notes in Computer Science, 270)
Tapa blanda
ISBN 10: 3540181709 ISBN 13: 9783540181705
Editorial: Springer, 2008

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2008
Idioma
Inglés
ISBN 10 
3540181709
ISBN 13 
9783540181705
Encuadernación
Tapa blanda
Número de páginas
460
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0387181709 ISBN 13:  9780387181707
Tapa blanda