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 hierarc...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
270 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
In memory of Dieter Roedding on the occasion of the 50th anniversary of his birth Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computation theory and logic, ed[ited by] Egon Boerger in memory of Dieter Roedding on the occasion of the 50th anniversary of his birth, Berlin, Springer, 1987, 1 vol. (IX-442 p.), Lecture notes in computer science, 3-540-18170-9 • Computation Theory and Logic, Texte imprimé, 9783662170274 |