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 |
MARC
| LEADER | 00000cam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1648312160 | ||
| 003 | DE-627 | ||
| 005 | 20251115195743.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 090826s2009 gw |||||o 00| ||eng c | ||
| 020 | |a 9783642030734 |9 978-3-642-03073-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-03073-4 |2 doi | |
| 035 | |a (DE-627)1648312160 | ||
| 035 | |a (DE-576)310019087 | ||
| 035 | |a (DE-599)BSZ310019087 | ||
| 035 | |a (OCoLC)610144262 | ||
| 035 | |a (OCoLC)610144262 | ||
| 035 | |a (ZBM)1192.68004 | ||
| 035 | |a (DE-627-1)04050882X | ||
| 035 | |a (DE-He213)978-3-642-03073-4 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-DE |c XA-DE-BE | ||
| 050 | 0 | |a QA75.5-76.95 | |
| 050 | 0 | |a QA9.59 | |
| 072 | 7 | |a UY |2 bicssc | |
| 072 | 7 | |a COM031000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM014000 |2 bisacsh | |
| 082 | 0 | |a 004.0151 | |
| 082 | 0 | |a 510n/a |q OBV | |
| 082 | 0 | 4 | |a 510 |a 004 |
| 084 | |a 28 |2 sdnb | ||
| 084 | |a *68-06 |2 msc | ||
| 084 | |a 03B70 |2 msc | ||
| 084 | |a 68N30 |2 msc | ||
| 084 | |a 68Qxx |2 msc | ||
| 084 | |a 68Wxx |2 msc | ||
| 084 | |a 00B25 |2 msc | ||
| 084 | |a 54.10 |2 bkl | ||
| 245 | 0 | 0 | |a Mathematical theory and computational practice |b 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings |c edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2009 | |
| 300 | |a Online-Ressource (digital) | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5635 | |
| 490 | 0 | |a SpringerLink |a Bücher | |
| 520 | |a 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 the Grätzer-Schmidt Theorem -- Hyperloops Do Not Threaten the Notion of an Effective Procedure -- Minimum Entropy Combinatorial Optimization Problems -- Program Self-reference in Constructive Scott Subdomains -- and Equivalence Structures -- Immunity for Closed Sets -- Lower Bounds for Kernelizations and Other Preprocessing Procedures -- Infinite-Time Turing Machines and Borel Reducibility -- Cutting Planes and the Parameter Cutwidth -- Members of Random Closed Sets -- Lowness for Demuth Randomness -- Graph States and the Necessity of Euler Decomposition -- On Stateless Multicounter Machines -- Computability of Continuous Solutions of Higher-Type Equations -- Equivalence Relations on Classes of Computable Structures -- Fractals Generated by Algorithmically Random Brownian Motion -- Computable Exchangeable Sequences Have Computable de Finetti Measures -- Spectra of Algebraic Fields and Subfields -- Definability in the Local Theory of the ?-Enumeration Degrees -- Computability of Analytic Functions with Analytic Machines -- An Application of Martin-Löf Randomness to Effective Probability Theory -- Index Sets and Universal Numberings -- Ordinal Computability -- A Gandy Theorem for Abstract Structures and Applications to First-Order Definability -- Constructing New Aperiodic Self-simulating Tile Sets -- Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem -- The First Order Theories of the Medvedev and Muchnik Lattices -- Infima of d.r.e. Degrees -- A Divergence Formula for Randomness and Dimension -- On Ladner’s Result for a Class of Real Machines with Restricted Use of Constants -- 0?-Categorical Completely Decomposable Torsion-Free Abelian Groups -- Notes on the Jump of a Structure -- A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability -- Stability under Strategy Switching -- Computational Heuristics for Simplifying a Biological Model -- Functions Definable by Arithmetic Circuits -- Survey on Oblivious Routing Strategies -- An Approach to the Engineering of Cellular Models Based on P Systems -- Decidability of Sub-theories of Polynomials over a Finite Field -- Chaitin ? Numbers and Halting Problems -- Bayesian Data Integration and Enrichment Analysis for Predicting Gene Function in Malaria -- Dialectica Interpretation with Fine Computational Control -- Algorithmic Minimal Sufficient Statistic Revisited -- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets -- On Generating Independent Random Strings. | ||
| 520 | |a This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues. | ||
| 650 | 0 | |a Computer Science | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Algorithms | |
| 650 | 0 | |a Bioinformatics | |
| 650 | 0 | |a Computer science | |
| 650 | 0 | |a Computer software | |
| 650 | 0 | |a Electronic data processing | |
| 650 | 0 | |a Information theory | |
| 655 | 7 | |a Konferenzschrift |y 2009 |z Heidelberg |0 (DE-588)1071861417 |0 (DE-627)826484824 |0 (DE-576)433375485 |2 gnd-content | |
| 689 | 0 | 0 | |d s |0 (DE-588)4138368-0 |0 (DE-627)105643211 |0 (DE-576)209685441 |a Berechenbarkeit |2 gnd |
| 689 | 0 | |5 DE-101 | |
| 700 | 1 | |a Ambos-Spies, Klaus |d 1951- |e Hrsg. |0 (DE-588)141551607 |0 (DE-627)629951861 |0 (DE-576)16006810X |4 edt | |
| 700 | 1 | |a Löwe, Benedikt |d 1972- |e Hrsg. |0 (DE-588)1146323808 |0 (DE-627)1007852186 |0 (DE-576)184051681 |4 edt | |
| 700 | 1 | |a Merkle, Wolfgang |e Hrsg. |0 (DE-588)1049898400 |0 (DE-627)782852831 |0 (DE-576)40388201X |4 edt | |
| 776 | 1 | |z 9783642030727 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |t Mathematical theory and computational practice |d Berlin : Springer, 2009 |h XIV, 510 S. |w (DE-627)602010020 |w (DE-576)30915037X |z 3642030726 |z 9783642030727 |
| 830 | 0 | |a Lecture notes in computer science |v 5635 |9 5635 |w (DE-627)316228877 |w (DE-576)093890923 |w (DE-600)2018930-8 |x 1611-3349 |7 am | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-03073-4 |m X:SPRINGER |x Verlag |z lizenzpflichtig |3 Volltext |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-03073-4 |x Resolving-System |z lizenzpflichtig |3 Volltext |
| 856 | 4 | 2 | |u https://swbplus.bsz-bw.de/bsz30915037xcov.jpg |m V:DE-576 |m X:springer |q image/jpeg |v 20090921070841 |3 Cover |
| 856 | 4 | 2 | |u https://zbmath.org/?q=an:1192.68004 |m B:ZBM |v 2021-04-12 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 889 | |w (DE-627)607844299 | ||
| 912 | |a ZDB-2-LNC |b 2009 | ||
| 912 | |a ZDB-2-SCS |b 2009 | ||
| 912 | |a ZDB-2-SXCS |b 2009 | ||
| 912 | |a ZDB-2-SEB |b 2009 | ||
| 935 | |h GBV |i ExPruef | ||
| 936 | r | u | |a SS 4800 |b Lecture notes in computer science |k Lecture notes in computer science |0 (DE-627)1271461242 |0 (DE-625)rvk/143528: |0 (DE-576)201461242 |z Ungueltig |
| 936 | b | k | |a 54.10 |j Theoretische Informatik |q SEPA |0 (DE-627)106418815 |
| 951 | |a BO | ||
| 990 | |a Berechenbarkeit | ||
| 992 | |a 20230417 | ||
| 993 | |a ConferencePaper | ||
| 994 | |a 2009 | ||
| 998 | |g 1049898400 |a Merkle, Wolfgang |m 1049898400:Merkle, Wolfgang |d 110000 |d 110300 |e 110000PM1049898400 |e 110300PM1049898400 |k 0/110000/ |k 1/110000/110300/ |p 3 |y j | ||
| 998 | |g 141551607 |a Ambos-Spies, Klaus |m 141551607:Ambos-Spies, Klaus |d 110000 |d 110300 |e 110000PA141551607 |e 110300PA141551607 |k 0/110000/ |k 1/110000/110300/ |p 1 |x j | ||
| 999 | |a KXP-PPN1648312160 |e 4309895298 | ||
| BIB | |a Y | ||
| JSO | |a {"person":[{"given":"Klaus","family":"Ambos-Spies","role":"edt","display":"Ambos-Spies, Klaus","roleDisplay":"Hrsg."},{"roleDisplay":"Hrsg.","display":"Löwe, Benedikt","role":"edt","family":"Löwe","given":"Benedikt"},{"role":"edt","display":"Merkle, Wolfgang","roleDisplay":"Hrsg.","given":"Wolfgang","family":"Merkle"}],"name":{"displayForm":["edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle"]},"id":{"isbn":["9783642030734"],"eki":["1648312160"],"doi":["10.1007/978-3-642-03073-4"]},"title":[{"title_sort":"Mathematical theory and computational practice","subtitle":"5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings","title":"Mathematical theory and computational practice"}],"origin":[{"dateIssuedDisp":"2009","dateIssuedKey":"2009","publisher":"Springer Berlin Heidelberg","publisherPlace":"Berlin, Heidelberg"}],"recId":"1648312160","language":["eng"],"type":{"media":"Online-Ressource","bibl":"edited-book"},"physDesc":[{"extent":"Online-Ressource (digital)"}],"relMultPart":[{"title":[{"title_sort":"Lecture notes in computer science","title":"Lecture notes in computer science"}],"pubHistory":["1.1973 -"],"part":{"number_sort":["5635"],"number":["5635"]},"titleAlt":[{"title":"LNCS online"},{"title":"LNAI"},{"title":"Lecture notes in artificial intelligence"},{"title":"Lecture notes in bioinformatics"},{"title":"LNAI"},{"title":"LNBI"},{"title":"LNCS-LNAI"},{"title":"LNCS-LNBI"}],"disp":"Lecture Notes in Computer Science","type":{"bibl":"serial","media":"Online-Ressource"},"note":["Gesehen am 28.02.20","Das Gesamtwerk gliedert sich in: Lecture notes in artificial intelligence; Lecture notes in bioinformatics"],"recId":"316228877","language":["eng"],"origin":[{"publisherPlace":"Berlin ; Heidelberg","dateIssuedDisp":"1973-","dateIssuedKey":"1973","publisher":"Springer"}],"id":{"eki":["316228877"],"zdb":["2018930-8"],"issn":["1611-3349"]},"dispAlt":"Lecture notes in computer science","physDesc":[{"extent":"Online-Ressource"}]}]} | ||
| SRT | |a MATHEMATIC2009 | ||