Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2010
|
| Series: | Lecture notes in computer science
6158 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XVI, 450 S. graph. Darst. 24 cm |
| ISBN: | 9783642139611 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036568007 | ||
| 003 | DE-604 | ||
| 005 | 20100921 | ||
| 007 | t| | ||
| 008 | 100715s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N21 |2 dnb | ||
| 016 | 7 | |a 1002680492 |2 DE-101 | |
| 020 | |a 9783642139611 |c kart. : EUR 66.34 (freier Pr.), ca. sfr 96.50 (freier Pr.) |9 978-3-642-13961-1 | ||
| 024 | 3 | |a 9783642139611 | |
| 028 | 5 | 2 | |a 80016605 |
| 035 | |a (OCoLC)699761523 | ||
| 035 | |a (DE-599)DNB1002680492 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004.0151 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 542f |2 stub | ||
| 084 | |a DAT 517f |2 stub | ||
| 245 | 1 | 0 | |a Programs, proofs, processes |b 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings |c Fernando Ferreira ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XVI, 450 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 6158 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechenbarkeit |0 (DE-588)4138368-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |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 2010 |z Ponta Delgada |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | 2 | |a Berechnungskomplexität |0 (DE-588)4134751-1 |D s |
| 689 | 0 | 3 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 4 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | 5 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ferreira, Fernando |4 edt | |
| 711 | 2 | |a Conference on Computability in Europe |n 6 |d 2010 |c Ponta Delgada |j Sonstige |0 (DE-588)16071335-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6158 |w (DE-604)BV000000607 |9 6158 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&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=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020489178 | |
Record in the Search Index
| _version_ | 1820875242752442368 |
|---|---|
| adam_text |
TABLE OF CONTENTS AVOIDING SIMPLICITY IS COMPLEX 1 ERIC ALLENDER
HIGHER-ORDER CONTAINERS 11 THORSTEN ALTENKIRCH, PAUL LEVY, AND SAM
STATON ON THE COMPLETENESS OF QUANTUM COMPUTATION MODELS 21 PABLO
ARRIGHI AND GILLES DOWEK THE ORDINAL OF SKOLEM + TETRATION IS R 0 31
MATHIAS BARRA AND PHILIPP GERHARDY PROOFS, PROGRAMS, PROCESSES 39 ULRICH
BERGER AND MONIKA SEISENBERGER ERGODIC-TYPE CHARACTERIZATIONS OF
ALGORITHMIC RANDOMNESS 49 LAURENT BIENVENU, ADAM DAY, ILYA MEZHIROV, AND
ALEXANDER SHEN HOW POWERFUL ARE INTEGER-VALUED MARTINGALES? 59 LAURENT
BIENVENU, FRANK STEPHAN, AND JASON TEUTSCH A FASTER ALGORITHM FOR
FINDING MINIMUM TUCKER SUBMATRICES 69 GUILLAUME BLIN, ROMEO RIZZI, AND
STEPHANE VIALETTE PROCESSES IN SPACE 78 LUCA CARDELLI AND PHILIPPA
GARDNER COMPUTABILITY OF COUNTABLE SUBSHIFTS 88 DOUGLAS CENZER, ALI
DASHTI, FERIT TOSKA, AND SEBASTIAN WYMAN THE LIMITS OF TRACTABILITY IN
RESOLUTION-BASED PROPOSITIONAL PROOF SYSTEMS 98 STEFAN DANTCHEV AND
BARNABY MARTIN HASKELL BEFORE HASKELL: CURRY'S CONTRIBUTION TO
PROGRAMMING (1946-1950) 108 LIESBETH DE MOL, MAARTEN BULLYNCK, AND
MARTIN CARLE A MINIATURISATION OF RAMSEY'S THEOREM 118 MICHIEL
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002680492 DIGITALISIERT
DURCH XIV TABLE OF CONTENTS ON THE COMPLEXITY OF LOCAL SEARCH FOR
WEIGHTED STANDARD SET PROBLEMS 132 DOMINIC DUMRAUF AND TIM SUESS
COMPUTATIONAL INTERPRETATIONS OF ANALYSIS VIA PRODUCTS OF SELECTION
FUNCTIONS 141 MARTIN ESCARDO AND PAULO OLIVA THE PEIRCE TRANSLATION AND
THE DOUBLE NEGATION SHIFT 151 MARTIN ESCARDO AND PAULO OLIVA COUNTING
THE CHANGES OF RANDOM A SETS 162 SANTIAGO FIGUEIRA, DENIS HIRSCHFELDT,
JOSEPH S. MILLER, KENG MENG NG, AND ANDRE NIES BOOLE: FROM CALCULATING
NUMBERS TO CALCULATING THOUGHTS 172 MICHELE FRIEND APPROXIMABILITY AND
HARDNESS IN MULTI-OBJECTIVE OPTIMIZATION 180 CHRISTIAN GLASSER, CHRISTIAN
REITWIESSNER, HEINZ SCHMITZ, AND MAXIMILIAN WITEK V W IS NOT A HEYTING
ALGEBRA 190 KOJIRO HIGUCHI LOWER BOUNDS FOR REDUCIBILITY TO THE
KOLMOGOROV RANDOM STRINGS 195 JOHN M. HITCHCOCK SPATIAL MODELS FOR
VIRTUAL NETWORKS 201 JEANNETTE JANSSEN DNA REARRANGEMENTS THROUGH
SPATIAL GRAPHS 211 NATASA JONOSKA AND MASAHICO SAITO ON INDEX SETS OF
SOME PROPERTIES OF COMPUTABLE ALGEBRAS 219 BAKHADYR KHOUSSAINOV AND
ANDREY MOROZOV THE STRENGTH OF THE BESICOVITCH-DAVIES THEOREM 229 BJOERN
TABLE OF CONTENTS XV DEGREES WITH ALMOST UNIVERSAL CUPPING PROPERTY 266
JIANG LIU AND GUOHUA WU INCOMPUTABILITY IN PHYSICS 276 GIUSEPPE LONGO
APPROXIMATE SELF-ASSEMBLY OF THE SIERPINSKI TRIANGLE 286 JACK H. LUTZ
AND BRAD SHUTTERS HAIRPIN LENGTHENING 296 FLORIN MANEA, CARLOS
MARTIN-VIDE, AND VICTOR MITRANA INFINITIES IN QUANTUM FIELD THEORY AND
IN CLASSICAL COMPUTING: RENORMALIZATION PROGRAM 307 YURI I. MANIN
COMPUTATIONAL COMPLEXITY ASPECTS IN MEMBRANE COMPUTING 317 GIANCARLO
MAURI, ALBERTO LEPORATI, ANTONIO E. PORRECA, AND CLAUDIO ZANDRON
COMPUTABLE ORDERED ABELIAN GROUPS AND FIELDS 321 ALEXANDER G. MELNIKOV
FOCUSING IN ASYNCHRONOUS GAMES 331 SAMUEL MIMRAM A NOTE ON THE LEAST
INFORMATIVE MODEL OF A THEORY 342 JEFF B. PARIS AND SOROUSH R. RAD THREE
ROOTS FOR LEIBNIZ'S CONTRIBUTION TO THE COMPUTATIONAL CONCEPTION OF
REASON 352 OLGA POMBO DEVELOPMENT OF A BACTERIA COMPUTER: FROM IN SILICO
FINITE AUTOMATA TO IN VITRO AND IN VIVO 362 YASUBUMI SAKAKIBARA THE
COMPLEXITY OF EXPLICIT CONSTRUCTIONS 372 RAHUL SANTHANAM KOLMOGORO XVI
TABLE OF CONTENTS QUASI-LINEAR DIALECTICA EXTRACTION 417 TRIFON TRIFONOV
COMPUTING WITH CONCEPTS, COMPUTING WITH NUMBERS: LLULL, LEIBNIZ, AND
BOOLE 427 SARA L. UCKELMAN INFERENCE CONCERNING PHYSICAL SYSTEMS 438
DAVID H. WOLPERT AUTHOR INDEX 449 |
| any_adam_object | 1 |
| author2 | Ferreira, Fernando |
| author2_role | edt |
| author2_variant | f f ff |
| author_facet | Ferreira, Fernando |
| building | Verbundindex |
| bvnumber | BV036568007 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 542f DAT 517f |
| ctrlnum | (OCoLC)699761523 (DE-599)DNB1002680492 |
| 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">BV036568007</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100921</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100715s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N21</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002680492</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642139611</subfield><subfield code="c">kart. : EUR 66.34 (freier Pr.), ca. sfr 96.50 (freier Pr.)</subfield><subfield code="9">978-3-642-13961-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642139611</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80016605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699761523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002680492</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-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programs, proofs, processes</subfield><subfield code="b">6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings</subfield><subfield code="c">Fernando Ferreira ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 450 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">6158</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</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">2010</subfield><subfield code="z">Ponta Delgada</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><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="3"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Ferreira, Fernando</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Conference on Computability in Europe</subfield><subfield code="n">6</subfield><subfield code="d">2010</subfield><subfield code="c">Ponta Delgada</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071335-3</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">6158</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6158</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&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=020489178&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-020489178</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Ponta Delgada gnd-content |
| genre_facet | Konferenzschrift 2010 Ponta Delgada |
| id | DE-604.BV036568007 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:12:31Z |
| institution | BVB |
| institution_GND | (DE-588)16071335-3 |
| isbn | 9783642139611 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020489178 |
| oclc_num | 699761523 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | XVI, 450 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.) Berlin [u.a.] Springer 2010 XVI, 450 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6158 Literaturangaben Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Ponta Delgada gnd-content Theoretische Informatik (DE-588)4196735-5 s Berechenbarkeit (DE-588)4138368-0 s Berechnungskomplexität (DE-588)4134751-1 s Beweistheorie (DE-588)4145177-6 s Prozessalgebra (DE-588)4283920-8 s Mathematische Logik (DE-588)4037951-6 s DE-604 Ferreira, Fernando edt Conference on Computability in Europe 6 2010 Ponta Delgada Sonstige (DE-588)16071335-3 oth Lecture notes in computer science 6158 (DE-604)BV000000607 6158 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&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=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Lecture notes in computer science Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd Beweistheorie (DE-588)4145177-6 gnd Prozessalgebra (DE-588)4283920-8 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4138368-0 (DE-588)4145177-6 (DE-588)4283920-8 (DE-588)4134751-1 (DE-588)1071861417 |
| title | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings |
| title_auth | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings |
| title_exact_search | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings |
| title_full | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.) |
| title_fullStr | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.) |
| title_full_unstemmed | Programs, proofs, processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings Fernando Ferreira ... (eds.) |
| title_short | Programs, proofs, processes |
| title_sort | programs proofs processes 6th conference on computability in europe cie 2010 ponta delgada azores portugal june 30 july 4 2010 proceedings |
| title_sub | 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Berechenbarkeit (DE-588)4138368-0 gnd Beweistheorie (DE-588)4145177-6 gnd Prozessalgebra (DE-588)4283920-8 gnd Berechnungskomplexität (DE-588)4134751-1 gnd |
| topic_facet | Theoretische Informatik Mathematische Logik Berechenbarkeit Beweistheorie Prozessalgebra Berechnungskomplexität Konferenzschrift 2010 Ponta Delgada |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3480855&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=020489178&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ferreirafernando programsproofsprocesses6thconferenceoncomputabilityineuropecie2010pontadelgadaazoresportugaljune30july42010proceedings AT conferenceoncomputabilityineuropepontadelgada programsproofsprocesses6thconferenceoncomputabilityineuropecie2010pontadelgadaazoresportugaljune30july42010proceedings |