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...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
270 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
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 |
| LEADER | 04795nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 944056 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155173316 | ||
| 020 | |a 9783540477952 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Börger, Egon, |d 1946- | |
| 245 | 1 | 0 | |a Computation theory and logic |c [edited by] Egon Börger. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 270 |x 1611-3349 | |
| 500 | |a In memory of Dieter Roedding on the occasion of the 50th anniversary of his birth | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Minimal pairs for polynomial time reducibilities -- Primitive recursive word-functions of one variable -- Existential fixed-point logic -- Unsolvable decision problems for PROLOG programs -- You have not understood a sentence, unless you can prove it -- On the minimality of K, F, and D or: Why löten is non-trivial -- A 5-color-extension-theorem -- Closure relations, Buchberger's algorithm, and polynomials in infinitely many variables -- The benefit of microworlds in learning computer programming -- Skolem normal forms concerning the least fixpoint -- Spectral representation of recursively enumerable and coenumerable predicates -- Aggregating inductive expertise on partial recursive functions -- Domino threads and complexity -- Modelling of cooperative processes -- A setting for generalized computability -- First-order spectra with one variable -- On the early history of register machines -- Randomness, provability, and the separation of Monte Carlo Time and space -- Representation independent query and update operations on propositional definite Horn formulas -- Direct construction of mutually orthogonal latin squares -- Negative results about the length problem -- Some results on the complexity of powers -- The Turing complexity of AF C*-algebras with lattice-ordered KO -- Remarks on SASL and the verification of functional programming languages -- Numerical stability of simple geometric algorithms in the plane -- Communication with concurrent systems via I/0-procedures -- A class of exp-time machines which can be simulated by polytape machines -- ???-Automata realizing preferences -- Ein einfaches Verfahren zur Normalisierung unendlicher Herleitungen -- Grammars for terms and automata -- Relative konsistenz -- Segment translation systems -- First steps towards a theory of complexity over moregeneral data structures -- On the power of single-valued nondeterministic polynomial time computations -- A concatenation game and the dot-depth hierarchy -- Do there exist languages with an arbitrarily small amount of context-sensitivity? -- The complexity of symmetric boolean functions. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Complexité de calcul (informatique) | ||
| 650 | |a Logique informatique | ||
| 776 | 0 | |0 020368674 |t Computation theory and logic |f ed[ited by] Egon Boerger in memory of Dieter Roedding on the occasion of the 50th anniversary of his birth |c Berlin |n Springer |d 1987 |p 1 vol. (IX-442 p.) |s Lecture notes in computer science |z 3-540-18170-9 | |
| 776 | 0 | |t Computation Theory and Logic |b Texte imprimé |z 9783662170274 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-18170-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8TMHVBHX-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923175 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-18170-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935464 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-18170-9 |z Accès INSA CVL | |
| 997 | |0 944056 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||