Topics in the theory of computation: selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1985
|
| Schriftenreihe: | Annals of discrete mathematics
24 North-Holland mathematics studies 102 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing Includes bibliographical references and index |
| Beschreibung: | 1 Online-Ressource (ix, 187 p.) |
| ISBN: | 9780444876478 0444876472 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317599 | ||
| 003 | DE-604 | ||
| 005 | 20211019 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1985 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444876478 |9 978-0-444-87647-8 | ||
| 020 | |a 0444876472 |9 0-444-87647-2 | ||
| 035 | |a (ZDB-33-EBS)ocn316566705 | ||
| 035 | |a (OCoLC)316566705 | ||
| 035 | |a (DE-599)BVBBV042317599 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511 |2 22 | |
| 110 | 2 | |a International FCT-Conference <1983, Borgholm, Sweden> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Topics in the theory of computation |b selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 |c edited by Marek Karpinski and Jan van Leeuwen |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1985 | |
| 300 | |a 1 Online-Ressource (ix, 187 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Annals of discrete mathematics |v 24 | |
| 490 | 0 | |a North-Holland mathematics studies |v 102 | |
| 500 | |a This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing | ||
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Conference proceedings |2 fast | |
| 650 | 7 | |a Computational complexity |2 fast | |
| 650 | 7 | |a Computer science / Mathematics |2 fast | |
| 650 | 7 | |a Machine theory |2 fast | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 4 | |a Machine theory |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 |2 gnd-content | |
| 689 | 0 | 0 | |a Berechenbarkeit |0 (DE-588)4138368-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Karpiński, Marek |d 1948- |e Sonstige |0 (DE-588)115476032 |4 oth | |
| 700 | 1 | |a Leeuwen, J. van |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444876478 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754590 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914211504128 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)115476032 |
| author_corporate | International FCT-Conference <1983, Borgholm, Sweden> |
| author_corporate_role | aut |
| author_facet | International FCT-Conference <1983, Borgholm, Sweden> |
| author_sort | International FCT-Conference <1983, Borgholm, Sweden> |
| building | Verbundindex |
| bvnumber | BV042317599 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn316566705 (OCoLC)316566705 (DE-599)BVBBV042317599 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03011nmm a2200589zcb4500</leader><controlfield tag="001">BV042317599</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211019 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1985 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444876478</subfield><subfield code="9">978-0-444-87647-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444876472</subfield><subfield code="9">0-444-87647-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn316566705</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)316566705</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317599</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">International FCT-Conference <1983, Borgholm, Sweden></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topics in the theory of computation</subfield><subfield code="b">selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983</subfield><subfield code="c">edited by Marek Karpinski and Jan van Leeuwen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 187 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">Annals of discrete mathematics</subfield><subfield code="v">24</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">North-Holland mathematics studies</subfield><subfield code="v">102</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conference proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computational complexity</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science / Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Machine theory</subfield><subfield code="2">fast</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">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</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="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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Karpiński, Marek</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)115476032</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Leeuwen, J. van</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444876478</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754590</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042317599 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780444876478 0444876472 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754590 |
| oclc_num | 316566705 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (ix, 187 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | North-Holland |
| record_format | marc |
| series2 | Annals of discrete mathematics North-Holland mathematics studies |
| spelling | International FCT-Conference <1983, Borgholm, Sweden> Verfasser aut Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 edited by Marek Karpinski and Jan van Leeuwen Amsterdam North-Holland 1985 1 Online-Ressource (ix, 187 p.) txt rdacontent c rdamedia cr rdacarrier Annals of discrete mathematics 24 North-Holland mathematics studies 102 This volume contains nine selected papers presented at the Borgholm conference. They were chosen on the basis of their immediate relevance to the most fundamental aspects of the theory of computation and the newest developments in this area. These papers, which have been extended and refereed, fall into eight categories: 1. Constructive Mathematics in Models of Computation and Programming; 2. Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4. Nondeterminism, Concurrency and Distributed Computing; 5. Abstract Algebras, Logics and Combinatorics in Computation Theory; 6. General Computability and Decidability; 7. Computational and Arithmetic Complexity; 8. Analysis of Algorithms and Feasible Computing Includes bibliographical references and index Conference proceedings fast Computational complexity fast Computer science / Mathematics fast Machine theory fast Informatik Mathematik Computational complexity Congresses Machine theory Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Berechenbarkeit (DE-588)4138368-0 s 1\p DE-604 Karpiński, Marek 1948- Sonstige (DE-588)115476032 oth Leeuwen, J. van Sonstige oth http://www.sciencedirect.com/science/book/9780444876478 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 Conference proceedings fast Computational complexity fast Computer science / Mathematics fast Machine theory fast Informatik Mathematik Computational complexity Congresses Machine theory Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd |
| subject_GND | (DE-588)4138368-0 (DE-588)1071861417 |
| title | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 |
| title_auth | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 |
| title_exact_search | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 |
| title_full | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 edited by Marek Karpinski and Jan van Leeuwen |
| title_fullStr | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 edited by Marek Karpinski and Jan van Leeuwen |
| title_full_unstemmed | Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 edited by Marek Karpinski and Jan van Leeuwen |
| title_short | Topics in the theory of computation |
| title_sort | topics in the theory of computation selected papers of the international conference on foundations of computation theory fct 83 borgholm sweden august 21 27 1983 |
| title_sub | selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 |
| topic | Conference proceedings fast Computational complexity fast Computer science / Mathematics fast Machine theory fast Informatik Mathematik Computational complexity Congresses Machine theory Congresses Computer science Mathematics Congresses Berechenbarkeit (DE-588)4138368-0 gnd |
| topic_facet | Conference proceedings Computational complexity Computer science / Mathematics Machine theory Informatik Mathematik Computational complexity Congresses Machine theory Congresses Computer science Mathematics Congresses Berechenbarkeit Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444876478 |
| work_keys_str_mv | AT internationalfctconference1983borgholmsweden topicsinthetheoryofcomputationselectedpapersoftheinternationalconferenceonfoundationsofcomputationtheoryfct83borgholmswedenaugust21271983 AT karpinskimarek topicsinthetheoryofcomputationselectedpapersoftheinternationalconferenceonfoundationsofcomputationtheoryfct83borgholmswedenaugust21271983 AT leeuwenjvan topicsinthetheoryofcomputationselectedpapersoftheinternationalconferenceonfoundationsofcomputationtheoryfct83borgholmswedenaugust21271983 |