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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Weitere Verfasser:	Ambos-Spies, Klaus (HerausgeberIn) , Löwe, Benedikt (HerausgeberIn) , Merkle, Wolfgang (HerausgeberIn)
Dokumenttyp:	Konferenzschrift
Sprache:	Englisch
Veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2009
Schriftenreihe:	Lecture notes in computer science 5635
In:	Lecture notes in computer science (5635)
DOI:	10.1007/978-3-642-03073-4
Schlagworte:	Konferenzschrift > 2009 > Heidelberg Berechenbarkeit
Online-Zugang:	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
Verfasserangaben:	edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle