Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5635 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 510 S. graph. Darst. 24 cm |
| ISBN: | 9783642030727 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035647191 | ||
| 003 | DE-604 | ||
| 005 | 20090819 | ||
| 007 | t| | ||
| 008 | 090727s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N26,0706 |2 dnb | ||
| 016 | 7 | |a 994680384 |2 DE-101 | |
| 020 | |a 9783642030727 |c kart. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.) |9 978-3-642-03072-7 | ||
| 024 | 3 | |a 9783642030727 | |
| 028 | 5 | 2 | |a 12718504 |
| 035 | |a (OCoLC)427321493 | ||
| 035 | |a (DE-599)DNB994680384 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA9.59 | |
| 082 | 0 | |a 510 | |
| 082 | 0 | |a 511.352 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 542f |2 stub | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Mathematical theory and computational practice |b 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings |c Klaus Ambos-Spies ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIV, 510 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5635 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Berechenbarkeit - Kongress - Heidelberg <2009> | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computable functions |v Congresses | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Heidelberg |2 gnd-content | |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ambos-Spies, Klaus |d 1951- |e Sonstige |0 (DE-588)141551607 |4 oth | |
| 711 | 2 | |a Conference on Computability in Europe |n 5 |d 2009 |c Heidelberg |j Sonstige |0 (DE-588)16015679-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5635 |w (DE-604)BV000000607 |9 5635 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017701858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017701858 | |
Datensatz im Suchindex
| _version_ | 1820875137744896000 |
|---|---|
| adam_text |
TABLE OF CONTENTS FIRST-ORDER UNIVERSALITY FOR REAL PROGRAMS 1 THOMAS
ANBERREE SKOLEM + TETRATION IS WELL-ORDERED 11 MATHIAS BARRA AND PHILIPP
GERHARDY STRUCTURES OF SOME STRONG REDUCIBILITIES 21 DAVID R. BELANGER
COMPLEXITY OF EXISTENTIAL POSITIVE FIRST-ORDER LOGIC 31 MANUEL BODIRSKY,
MIKI HERMANN, AND FLORIAN RICHOUX STOCHASTIC PROGRAMS AND HYBRID
AUTOMATA FOR (BIOLOGICAL) MODELING . 37 LUCA BORTOLUSSI AND ALBERTO
POLICRITI NUMBERINGS AND RANDOMNESS 49 PAUL BRODHEAD AND BJ0RN
KJOS-HANSSEN THE STRENGTH OF THE GRAETZER-SCHMIDT THEOREM 59 PAUL
BRODHEAD AND BJ0RN KJOS-HANSSEN HYPERLOOPS DO NOT THREATEN THE NOTION OF
AN EFFECTIVE PROCEDURE 68 TIM BUTTON MINIMUM ENTROPY COMBINATORIAL
OPTIMIZATION PROBLEMS 79 JEAN CARDINAL, SAMUEL FIORINI, AND GWENAEL
JORET PROGRAM SELF-REFERENCE IN CONSTRUCTIVE SCOTT SUBDOMAINS 89 JOHN
CASE AND SAMUEL E. MOELIUS III AND TI EQUIVALENCE STRUCTURES 99
DOUGLAS CENZER, VALENTINA HARIZANOV, AND JEFFREY B. REMMEL IMMUNITY FOR
CLOSED SETS 109 DOUGLAS CENZER, REBECCA WEBER, AND GUOHUA WU LOWER
BOUNDS FOR KERNELIZATIONS AND OTHER PREPROCESSING PROCEDURES 118 YIJIA
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994680384 DIGITALISIERT
DURCH XTL TABLE OF CONTENTS MEMBERS OF RANDOM CLOSED SETS 144 DAVID
DIAMONDSTONE AND BJ0RN KJOS-HANSSEN LOWNESS FOR DEMUTH RANDOMNESS 154
ROD DOWNEY AND KENG MENG NG GRAPH STATES AND THE NECESSITY OF EULER
DECOMPOSITION 167 ROSS DUNCAN AND SIMON PERDRIX ON STATELESS
MULTICOUNTER MACHINES 178 OMER EGECIOGLU AND OSCAR H. IBARRA
COMPUTABILITY OF CONTINUOUS SOLUTIONS OF HIGHER-TYPE EQUATIONS 188
MARTIN ESCARDO EQUIVALENCE RELATIONS ON CLASSES OF COMPUTABLE STRUCTURES
198 EKATERINA B. FOKINA AND SY-DAVID FRIEDMAN FRACTALS GENERATED BY
ALGORITHMICALLY RANDOM BROWNIAN MOTION 208 WILLEM L. FOUCHE COMPUTABLE
EXCHANGEABLE SEQUENCES HAVE COMPUTABLE DE FINETTI MEASURES 218 CAMERON
E. FREER AND DANIEL M. ROY SPECTRA OF ALGEBRAIC FIELDS AND SUBFIELDS 232
ANDREY FROLOV, ISKANDER KALIMULLIN, AND RUSSELL MILLER DEFINABILITY IN
THE LOCAL THEORY OF THE ^-ENUMERATION DEGREES 242 HRISTO GANCHEV
COMPUTABILITY OF ANALYTIC FUNCTIONS WITH ANALYTIC MACHINES 250 TOBIAS
GARTNER AND GUNTER HOTZ AN APPLICATION OF MARTIN-LOEF RANDOMNESS TO
EFFECTIVE PROBABILITY THEORY 260 MATHIEU HOYRUP AND CRISTOBAL ROJAS
INDEX SETS AND UNIVERSAL NUMBERINGS 270 SANJAY JAIN, FRANK STEPHAN, AND
JASON TEUTSCH ORDINA TABLE OF CONTENTS XIII RELATIONSHIP BETWEEN
KANAMORI-MCALOON PRINCIPLE AND PARIS-HARRINGTON THEOREM 310 GYESIK LEE
THE FIRST ORDER THEORIES OF THE MEDVEDEV AND MUCHNIK LATTICES 324 ANDREW
LEWIS, ANDRE NIES, AND ANDREA SORBI INFIMA OF D.R.E. DEGREES 332 JIANG
LIU, SHENGLING WANG, AND GUOHUA WU A DIVERGENCE FORMULA FOR RANDOMNESS
AND DIMENSION 342 JACK H. LUTZ ON LADNER'S RESULT FOR A CLASS OF REAL
MACHINES WITH RESTRICTED USE OF CONSTANTS 352 KLAUS MEER 0"- CATEGORICAL
COMPLETELY DECOMPOSABLE TORSION-FREE ABELIAN GROUPS 362 ALEXANDER G.
MELNIKOV NOTES ON THE JUMP OF A STRUCTURE 372 ANTONIO MONTALBAN A
GENERAL REPRESENTATION THEOREM FOR PROBABILITY FUNCTIONS SATISFYING
SPECTRUM EXCHANGEABILITY 379 J.B. PARIS AND A. VENCOVSKA STABILITY UNDER
STRATEGY SWITCHING 389 SOUMYA PAUL, R. RAMANUJAM, AND SUNIL SIMON
COMPUTATIONAL HEURISTICS FOR SIMPLIFYING A BIOLOGICAL MODEL 399 ION
PETRE, ANDRZEJ MIZERA, AND RALPH- JOHAN BACK FUNCTIONS DEFINABLE BY
ARITHMETIC CIRCUITS 409 IAN PRATT-H ARTMANN AND IVO DUENTSCH SURVEY ON
OBLIVIOUS ROUTING STRATEGIES 419 HARALD RAECKE AN APPROACH TO THE
ENGINEERING OF CELLULAR MODELS BASED ON P SYSTEM XIV TABLE OF CONTENTS
BAYESIAN DATA INTEGRATION AND ENRICHMENT ANALYSIS FOR PREDICTING GENE
FUNCTION IN MALARIA 457 PHILIP M.R. TEDDER, JAMES R. BRADFORD, CHRIS J.
NEEDHAM, GLENN A. MCCONKEY, ANDREW J. BULPITT, AND DAVID R. WESTHEAD
DIALECTICA INTERPRETATION WITH FINE COMPUTATIONAL CONTROL 467 TRIFON
TRIFONOV ALGORITHMIC MINIMAL SUFFICIENT STATISTIC REVISITED 478 NIKOLAY
VERESHCHAGIN A COMPUTATION OF THE MAXIMAL ORDER TYPE OF THE TERM
ORDERING ON FINITE MULTISETS 488 ANDREAS WEIERMANN ON GENERATING
INDEPENDENT RANDOM STRINGS 499 MARIUS ZIMAND AUTHOR INDEX 509 |
| any_adam_object | 1 |
| author_GND | (DE-588)141551607 |
| building | Verbundindex |
| bvnumber | BV035647191 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.59 |
| callnumber-search | QA9.59 |
| callnumber-sort | QA 19.59 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 542f |
| ctrlnum | (OCoLC)427321493 (DE-599)DNB994680384 |
| dewey-full | 510 511.352 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 511 - General principles of mathematics |
| dewey-raw | 510 511.352 |
| dewey-search | 510 511.352 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035647191</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090819</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090727s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N26,0706</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994680384</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642030727</subfield><subfield code="c">kart. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.)</subfield><subfield code="9">978-3-642-03072-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642030727</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12718504</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)427321493</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994680384</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.59</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.352</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 542f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical theory and computational practice</subfield><subfield code="b">5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings</subfield><subfield code="c">Klaus Ambos-Spies ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 510 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5635</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Berechenbarkeit - Kongress - Heidelberg <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computable functions</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Heidelberg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ambos-Spies, Klaus</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)141551607</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Conference on Computability in Europe</subfield><subfield code="n">5</subfield><subfield code="d">2009</subfield><subfield code="c">Heidelberg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16015679-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5635</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5635</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017701858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017701858</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Heidelberg gnd-content |
| genre_facet | Konferenzschrift 2009 Heidelberg |
| id | DE-604.BV035647191 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:52Z |
| institution | BVB |
| institution_GND | (DE-588)16015679-8 |
| isbn | 9783642030727 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017701858 |
| oclc_num | 427321493 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XIV, 510 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings Klaus Ambos-Spies ... (ed.) Berlin [u.a.] Springer 2009 XIV, 510 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5635 Literaturangaben Berechenbarkeit - Kongress - Heidelberg <2009> Informatik Mathematik Computable functions Congresses Computational complexity Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Heidelberg gnd-content Berechenbarkeit (DE-588)4138368-0 s DE-604 Ambos-Spies, Klaus 1951- Sonstige (DE-588)141551607 oth Conference on Computability in Europe 5 2009 Heidelberg Sonstige (DE-588)16015679-8 oth Lecture notes in computer science 5635 (DE-604)BV000000607 5635 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017701858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings Lecture notes in computer science Berechenbarkeit - Kongress - Heidelberg <2009> Informatik Mathematik Computable functions Congresses Computational complexity Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)1071861417 |
| title | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings |
| title_auth | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings |
| title_exact_search | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings |
| title_full | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings Klaus Ambos-Spies ... (ed.) |
| title_fullStr | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings Klaus Ambos-Spies ... (ed.) |
| title_full_unstemmed | Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings Klaus Ambos-Spies ... (ed.) |
| title_short | Mathematical theory and computational practice |
| title_sort | mathematical theory and computational practice 5th conference on computability in europe cie 2009 heidelberg germany july 19 24 2009 proceedings |
| title_sub | 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19 - 24, 2009 ; proceedings |
| topic | Berechenbarkeit - Kongress - Heidelberg <2009> Informatik Mathematik Computable functions Congresses Computational complexity Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Berechenbarkeit - Kongress - Heidelberg <2009> Informatik Mathematik Computable functions Congresses Computational complexity Congresses Computer science Mathematics Congresses Berechenbarkeit Konferenzschrift 2009 Heidelberg |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017701858&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ambosspiesklaus mathematicaltheoryandcomputationalpractice5thconferenceoncomputabilityineuropecie2009heidelberggermanyjuly19242009proceedings AT conferenceoncomputabilityineuropeheidelberg mathematicaltheoryandcomputationalpractice5thconferenceoncomputabilityineuropecie2009heidelberggermanyjuly19242009proceedings |