Gå direkte til innholdet
Computation Theory and Logic
Spar

Computation Theory and Logic

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.
Redaktør
Egon Börger
Opplag
1987 ed.
ISBN
9783540181705
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
29.7.1987
Antall sider
442