Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
First-Order Universality for Real Programs -- Skolem + Tetration Is Well-Ordered -- Structures of Some Strong Reducibilities -- Complexity of Existential Positive First-Order Logic -- Stochastic Programs and Hybrid Automata for (Biological) Modeling -- Numberings and Randomness -- The Strength of th...
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Conference Paper |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2009
|
| Series: | Lecture notes in computer science
5635 |
| In: |
Lecture notes in computer science (5635)
|
| DOI: | 10.1007/978-3-642-03073-4 |
| Subjects: | |
| Online Access: | Verlag, lizenzpflichtig, Volltext: https://doi.org/10.1007/978-3-642-03073-4 Resolving-System, lizenzpflichtig, Volltext: http://dx.doi.org/10.1007/978-3-642-03073-4 Cover: https://swbplus.bsz-bw.de/bsz30915037xcov.jpg Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1192.68004 
|
| Author Notes: | edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle |
Search Result 1