Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III"
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2004
|
| Schriftenreihe: | Trends in Logic
23 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research |
| Beschreibung: | 1 Online-Ressource (XIII, 260 p) |
| ISBN: | 9781402027765 9781402027758 |
| DOI: | 10.1007/978-1-4020-2776-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042419248 | ||
| 003 | DE-604 | ||
| 005 | 20230125 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9781402027765 |c Online |9 978-1-4020-2776-5 | ||
| 020 | |a 9781402027758 |c Print |9 978-1-4020-2775-8 | ||
| 024 | 7 | |a 10.1007/978-1-4020-2776-5 |2 doi | |
| 035 | |a (OCoLC)879625085 | ||
| 035 | |a (DE-599)BVBBV042419248 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Löwe, Benedikt |d 1972- |e Verfasser |0 (DE-588)1146323808 |4 aut | |
| 245 | 1 | 0 | |a Classical and New Paradigms of Computation and their Complexity Hierarchies |b Papers of the conference "Foundations of the Formal Sciences III" |c edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2004 | |
| 300 | |a 1 Online-Ressource (XIII, 260 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Trends in Logic |v 23 | |
| 500 | |a The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Math Applications in Computer Science | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Informatik | |
| 700 | 1 | |a Piwinger, Boris |e Sonstige |4 oth | |
| 700 | 1 | |a Räsch, Thoralf |d 1974- |e Sonstige |0 (DE-588)130854824 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-2776-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854665 | ||
Datensatz im Suchindex
| _version_ | 1804153089673920512 |
|---|---|
| any_adam_object | |
| author | Löwe, Benedikt 1972- |
| author_GND | (DE-588)1146323808 (DE-588)130854824 |
| author_facet | Löwe, Benedikt 1972- |
| author_role | aut |
| author_sort | Löwe, Benedikt 1972- |
| author_variant | b l bl |
| building | Verbundindex |
| bvnumber | BV042419248 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)879625085 (DE-599)BVBBV042419248 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-1-4020-2776-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02649nmm a2200517zcb4500</leader><controlfield tag="001">BV042419248</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230125 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402027765</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4020-2776-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402027758</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4020-2775-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-2776-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879625085</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419248</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Löwe, Benedikt</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1146323808</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Classical and New Paradigms of Computation and their Complexity Hierarchies</subfield><subfield code="b">Papers of the conference "Foundations of the Formal Sciences III"</subfield><subfield code="c">edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 260 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Trends in Logic</subfield><subfield code="v">23</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Math Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Piwinger, Boris</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Räsch, Thoralf</subfield><subfield code="d">1974-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)130854824</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-2776-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854665</subfield></datafield></record></collection> |
| id | DE-604.BV042419248 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781402027765 9781402027758 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854665 |
| oclc_num | 879625085 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XIII, 260 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Trends in Logic |
| spelling | Löwe, Benedikt 1972- Verfasser (DE-588)1146323808 aut Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch Dordrecht Springer Netherlands 2004 1 Online-Ressource (XIII, 260 p) txt rdacontent c rdamedia cr rdacarrier Trends in Logic 23 The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies. This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research Computer science Information theory Algorithms Logic, Symbolic and mathematical Computer Science Computer Science, general Theory of Computation Mathematical Logic and Foundations Math Applications in Computer Science Mathematics of Computing Informatik Piwinger, Boris Sonstige oth Räsch, Thoralf 1974- Sonstige (DE-588)130854824 oth https://doi.org/10.1007/978-1-4020-2776-5 Verlag Volltext |
| spellingShingle | Löwe, Benedikt 1972- Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" Computer science Information theory Algorithms Logic, Symbolic and mathematical Computer Science Computer Science, general Theory of Computation Mathematical Logic and Foundations Math Applications in Computer Science Mathematics of Computing Informatik |
| title | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" |
| title_auth | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" |
| title_exact_search | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" |
| title_full | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch |
| title_fullStr | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch |
| title_full_unstemmed | Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference "Foundations of the Formal Sciences III" edited by Benedikt Löwe, Boris Piwinger, Thoralf Räsch |
| title_short | Classical and New Paradigms of Computation and their Complexity Hierarchies |
| title_sort | classical and new paradigms of computation and their complexity hierarchies papers of the conference foundations of the formal sciences iii |
| title_sub | Papers of the conference "Foundations of the Formal Sciences III" |
| topic | Computer science Information theory Algorithms Logic, Symbolic and mathematical Computer Science Computer Science, general Theory of Computation Mathematical Logic and Foundations Math Applications in Computer Science Mathematics of Computing Informatik |
| topic_facet | Computer science Information theory Algorithms Logic, Symbolic and mathematical Computer Science Computer Science, general Theory of Computation Mathematical Logic and Foundations Math Applications in Computer Science Mathematics of Computing Informatik |
| url | https://doi.org/10.1007/978-1-4020-2776-5 |
| work_keys_str_mv | AT lowebenedikt classicalandnewparadigmsofcomputationandtheircomplexityhierarchiespapersoftheconferencefoundationsoftheformalsciencesiii AT piwingerboris classicalandnewparadigmsofcomputationandtheircomplexityhierarchiespapersoftheconferencefoundationsoftheformalsciencesiii AT raschthoralf classicalandnewparadigmsofcomputationandtheircomplexityhierarchiespapersoftheconferencefoundationsoftheformalsciencesiii |