Models of computation in context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6735 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 318 S. graph. Darst. 24 cm |
| ISBN: | 9783642218743 3642218741 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039132851 | ||
| 003 | DE-604 | ||
| 005 | 20111109 | ||
| 007 | t| | ||
| 008 | 110712s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N21 |2 dnb | ||
| 016 | 7 | |a 1011959208 |2 DE-101 | |
| 020 | |a 9783642218743 |c kart. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.) |9 978-3-642-21874-3 | ||
| 020 | |a 3642218741 |9 3-642-21874-1 | ||
| 024 | 3 | |a 9783642218743 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80065115 |
| 035 | |a (OCoLC)745502555 | ||
| 035 | |a (DE-599)DNB1011959208 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-83 |a DE-91G | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 542f |2 stub | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Models of computation in context |b 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings |c Benedikt Löwe ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIII, 318 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 6735 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Sofia |2 gnd-content | |
| 689 | 0 | 0 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 1 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 0 | 2 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Löwe, Benedikt |e Sonstige |4 oth | |
| 711 | 2 | |a Conference on Computability in Europe |n 7 |d 2011 |c Sofia |j Sonstige |0 (DE-588)16164208-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6735 |w (DE-604)BV000000607 |9 6735 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3826571&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=024151124&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024151124 | |
Record in the Search Index
| _version_ | 1820875332797857792 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
APPLYING CAUSALITY PRINCIPLES TO THE AXIOMATIZATION OF PROBABILISTIC
CELLULAR AUTOMATA 1
PABLO ARRIGHI, RENAN FARGETTON, VINCENT NESME, AND ERIC THIERRY
THREE THEOREMS ON N-REA DEGREES: PROOF-READERS AND VERIFIERS 11
MINGZHONG CAI
A COMPUTATIONAL APPROACH TO AN ALTERNATIVE WORKING ENVIRONMENT FOR THE
CONSTRUCTIBLE UNIVERSE 21
MERLIN CARL
AUTOMATIC LEARNERS WITH FEEDBACK QUERIES 31
JOHN CASE, SANJAY JAIN, YUH SHIN ONG, PAVEL SEMUKHIN, AND FRANK STEPHAN
SPLICING SYSTEMS: ACCEPTING VERSUS GENERATING 41
JUAN CASTELLANOS, VICTOR MITRANA, AND EUGENIO SANTOS
EFFECTIVE CATEGORICITY OF INJECTION STRUCTURES 51
DOUGLAS CENZER, VALENTINA HARIZANOV, AND JEFFREY B. REMMEL
CONSISTENCY AND OPTIMALITY 61
YIJIA CHEN, JOERG FLUM, AND MORITZ MUELLER
CUPPING AND DIAMOND EMBEDDINGS: A UNIFYING APPROACH 71 CHENGLING FANG,
JIANG LIU, AND GUOHUA WU
ON THE KOLMOGOROV COMPLEXITY OF CONTINUOUS REAL FUNCTIONS 81 AMIN
FARJUDIAN
DEFINING LANGUAGES BY FORBIDDING-ENFORCING SYSTEMS 92
DANIELA GENOVA
AXIOMATIZING RESOURCE BOUNDS FOR MEASURE 102
XIAOYANG GU, JACK H. LUTZ, SATYADEV NANDAKUMAR, AND JAMES S. ROYER
COMPLEXITY ISSUES FOR PREORDERS ON FINITE LABELED FORESTS 112 PETER
HERTLING AND VICTOR SELIVANOV
RANDOMNESS AND THE ERGODIC DECOMPOSITION 122
MATHIEU HOYRUP
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011959208
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
COMPUTABILITY OF THE RADON-NIKODYM DERIVATIVE 132
MATHIEU HOYRUP, CRISTOBAL ROJAS, AND KLAUS WEIHRAUCH
EXTRACTING WINNING STRATEGIES IN UPDATE GAMES 142
IMRAN KHALIQ, BAKHADYR KHOUSSAINOV, AND JIAMOU LIU
A GENERALISED DYNAMICAL SYSTEM, INFINITE TIME REGISTER MACHINES, AND
JTJ-CAO 152
PETER KOEPKE AND PHILIP D. WELCH
COMPUTABILITY POWER OF MOBILITY IN ENHANCED MOBILE MEMBRANES 160
SHANKARA NARAYANAN KRISHNA AND GABRIEL CIOBANU
NATURE-BASED PROBLEMS IN CELLULAR AUTOMATA 171
MARTIN KUTRIB
MULTI-RESOLUTION CELLULAR AUTOMATA FOR REAL COMPUTATION 181
JAMES I. LATHROP, JACK H. LUTZ, AND BRIAN PATTERSON
DECIDING ACCORDING TO THE SHORTEST COMPUTATIONS 191
FLORIN MANEA
COMPUTATION OF SIMILARITY-SIMILARITY SEARCH AS COMPUTATION 201 STOYAN
MIHOV AND KLAUS U. SCHULZ
ADAPTING RABIN'S THEOREM FOR DIFFERENTIAL FIELDS 211
RUSSELL MILLER AND ALEXEY OVCHINNIKOV
QUANTUM INFORMATION CHANNELS IN CURVED SPACETIME 221
PRAKASH PANANGADEN
RECOGNIZING SYNCHRONIZING AUTOMATA WITH FINITELY MANY MINIMAL
SYNCHRONIZING WORDS IS PSPACE-COMPLETE 230
ELENA V. PRIBAVKINA AND EMANUELE RODARO
CONSECUTIVE ONES PROPERTY TESTING: CUT OR SWAP 239
MATHIEU RAFFINOT
CURRENT DEVELOPMENTS ON COMPUTATIONAL MODELING USING P SYSTEMS . . 250
AGUSTIN RISCOS-NUNEZ
AUTOMATA ON ORDINALS AND LINEAR ORDERS 252
PHILIPP SCHLICHT AND FRANK STEPHAN
A FINE HIERARCHY OF W-REGULAR K- PARTITIONS 260
VICTOR SELIVANOV
ON A RELATIVE COMPUTABILITY NOTION FOR REAL FUNCTIONS 270
DIMITER SKORDEV AND IVAN GEORGIEV
IMAGE 3
TABLE OF CONTENTS XIII
TOWARDS AN AXIOMATIC SYSTEM FOR KOLMOGOROV COMPLEXITY 280 ANTOINE
TAVENEAUX
A NEW OPTIMUM-TIME FIRING SQUAD SYNCHRONIZATION ALGORITHM FOR
TWO-DIMENSIONAL RECTANGLE ARRAYS: ONE-SIDED RECURSIVE HALVING BASED 290
HIROSHI UMEO, KINUO NISHIDE, AND TAKUYA YAMAWAKI
CONSERVATIVE EXTENSIONS OF ABSTRACT STRUCTURES 300
STEFAN VATEV
ON A HIERARCHY OF PLUS-CUPPING DEGREES 310
SHENLING WANG AND GUOHUA WU
AUTHOR INDEX 319 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039132851 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 542f DAT 550f |
| ctrlnum | (OCoLC)745502555 (DE-599)DNB1011959208 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| 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">BV039132851</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110712s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011959208</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642218743</subfield><subfield code="c">kart. : ca. EUR 57.78 (DE) (freier Pr.), ca. sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-21874-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642218741</subfield><subfield code="9">3-642-21874-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642218743</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80065115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745502555</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011959208</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Models of computation in context</subfield><subfield code="b">7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings</subfield><subfield code="c">Benedikt Löwe ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 318 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">6735</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</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">2011</subfield><subfield code="z">Sofia</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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">Löwe, Benedikt</subfield><subfield code="e">Sonstige</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">7</subfield><subfield code="d">2011</subfield><subfield code="c">Sofia</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16164208-1</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">6735</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6735</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3826571&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=024151124&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-024151124</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Sofia gnd-content |
| genre_facet | Konferenzschrift 2011 Sofia |
| id | DE-604.BV039132851 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:56Z |
| institution | BVB |
| institution_GND | (DE-588)16164208-1 |
| isbn | 9783642218743 3642218741 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024151124 |
| oclc_num | 745502555 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-11 DE-83 DE-91G DE-BY-TUM |
| physical | XIII, 318 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Benedikt Löwe ... (ed.) Berlin [u.a.] Springer 2011 XIII, 318 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6735 Literaturangaben Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Sofia gnd-content Berechnungskomplexität (DE-588)4134751-1 s Berechnungstheorie (DE-588)4005581-4 s Berechenbarkeit (DE-588)4138368-0 s DE-604 Löwe, Benedikt Sonstige oth Conference on Computability in Europe 7 2011 Sofia Sonstige (DE-588)16164208-1 oth Lecture notes in computer science 6735 (DE-604)BV000000607 6735 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3826571&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151124&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Lecture notes in computer science Berechenbarkeit (DE-588)4138368-0 gnd Berechnungstheorie (DE-588)4005581-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)4005581-4 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings |
| title_auth | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings |
| title_exact_search | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings |
| title_full | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Benedikt Löwe ... (ed.) |
| title_fullStr | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Benedikt Löwe ... (ed.) |
| title_full_unstemmed | Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Benedikt Löwe ... (ed.) |
| title_short | Models of computation in context |
| title_sort | models of computation in context 7th conference on computability in europe cie 2011 sofia bulgaria june 27 july 2 2011 proceedings |
| title_sub | 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings |
| topic | Berechenbarkeit (DE-588)4138368-0 gnd Berechnungstheorie (DE-588)4005581-4 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Berechenbarkeit Berechnungstheorie Berechnungskomplexität Konferenzschrift 2011 Sofia |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3826571&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024151124&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT lowebenedikt modelsofcomputationincontext7thconferenceoncomputabilityineuropecie2011sofiabulgariajune27july22011proceedings AT conferenceoncomputabilityineuropesofia modelsofcomputationincontext7thconferenceoncomputabilityineuropecie2011sofiabulgariajune27july22011proceedings |