Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New Jersey
World Scientific
c2003
|
| Schlagworte: | |
| Online-Zugang: | DE-1046 DE-1047 Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043124759 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 xx o|||| 00||| eng d | ||
| 020 | |a 1281908819 |9 1-281-90881-9 | ||
| 020 | |a 9781281908810 |9 978-1-281-90881-0 | ||
| 020 | |a 9789812382610 |9 978-981-238-261-0 | ||
| 020 | |a 9789812705815 |c electronic bk. |9 978-981-270-581-5 | ||
| 020 | |a 9812382615 |9 981-238-261-5 | ||
| 020 | |a 9812705813 |c electronic bk. |9 981-270-581-3 | ||
| 035 | |a (OCoLC)829714667 | ||
| 035 | |a (DE-599)BVBBV043124759 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 110 | 2 | |a Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 7th & 8th Asian Logic Conferences |b Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 |c editors Rod Downey ... [et al.] |
| 264 | 1 | |a New Jersey |b World Scientific |c c2003 | |
| 300 | |a 1 Online-Ressource (viii, 471 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references | ||
| 500 | |a The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers -- many of them surveys by leading experts -- of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic | ||
| 500 | |a Elementary properties of Rogers semilattices of arithmetical numberings / S.A. Badaev, S.S. Goncharov and A. Sorbi -- Five puzzles about mathematics in search of solutions / C.S. Chihara -- Complexity classes over the reals: a logician's viewpoint / F. Cucker -- Computability, definability and algebraic structures / R. Downey -- Trivial reals / R.G. Downey ... [et al.] -- Popper and Miller, and induction and deduction / E. Eells -- Enlargements of polynomial coalgebras / R. Goldblatt -- A layered approach to extracting programs from proofs with an application in graph theory / J. Jeavons ... [et al.] -- A common structure of logical and algebraic algorithms / Y. Kawaguchi -- Games on graphs: automata, structure, and complexity / B. Khoussainov and T. Kowalski -- Computational complexity of fractals / K.-I. Ko -- Definability in local degree structures -- a survey of recent results related to jump classes / A. Li and Y. Yang -- A limit stage construction for iterating semiproper preorders / T. Miyamoto -- An application of NDJ [symbol] the catch and throw mechanism / M. Nakata, N. Saneto and M. Yasugi -- The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning / I. Poernomo and J.N. Crossley -- Phase-valued models of linear set theory / M. Shirahata -- A problem on theories with a finite number of countable models / A. Tsuboi -- Probabilistic logic programming with inheritance / J. Wang ... [et al.] -- Sequent systems for classical and intuitionistic substructural modal logics / O. Watari ... [et al.] -- Diamond embeddings into the D.C.E. degrees with 0 and 1 preserved / G. Wu | ||
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Downey, R. G. |e Sonstige |4 oth | |
| 710 | 2 | |a Asian Logic Conference < 2002, Chongqing, China> |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028548949 | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378 |l DE-1046 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378 |l DE-1047 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1819295456802373632 |
|---|---|
| any_adam_object | |
| author_corporate | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| author_corporate_role | aut |
| author_facet | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| author_sort | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> |
| building | Verbundindex |
| bvnumber | BV043124759 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)829714667 (DE-599)BVBBV043124759 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| 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>04613nam a2200517zc 4500</leader><controlfield tag="001">BV043124759</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281908819</subfield><subfield code="9">1-281-90881-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281908810</subfield><subfield code="9">978-1-281-90881-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812382610</subfield><subfield code="9">978-981-238-261-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812705815</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-270-581-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812382615</subfield><subfield code="9">981-238-261-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812705813</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-270-581-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)829714667</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043124759</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><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 1999, Hsi-Tou, Taiwan></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 7th & 8th Asian Logic Conferences</subfield><subfield code="b">Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002</subfield><subfield code="c">editors Rod Downey ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New Jersey</subfield><subfield code="b">World Scientific</subfield><subfield code="c">c2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 471 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers -- many of them surveys by leading experts -- of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Elementary properties of Rogers semilattices of arithmetical numberings / S.A. Badaev, S.S. Goncharov and A. Sorbi -- Five puzzles about mathematics in search of solutions / C.S. Chihara -- Complexity classes over the reals: a logician's viewpoint / F. Cucker -- Computability, definability and algebraic structures / R. Downey -- Trivial reals / R.G. Downey ... [et al.] -- Popper and Miller, and induction and deduction / E. Eells -- Enlargements of polynomial coalgebras / R. Goldblatt -- A layered approach to extracting programs from proofs with an application in graph theory / J. Jeavons ... [et al.] -- A common structure of logical and algebraic algorithms / Y. Kawaguchi -- Games on graphs: automata, structure, and complexity / B. Khoussainov and T. Kowalski -- Computational complexity of fractals / K.-I. Ko -- Definability in local degree structures -- a survey of recent results related to jump classes / A. Li and Y. Yang -- A limit stage construction for iterating semiproper preorders / T. Miyamoto -- An application of NDJ [symbol] the catch and throw mechanism / M. Nakata, N. Saneto and M. Yasugi -- The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning / I. Poernomo and J.N. Crossley -- Phase-valued models of linear set theory / M. Shirahata -- A problem on theories with a finite number of countable models / A. Tsuboi -- Probabilistic logic programming with inheritance / J. Wang ... [et al.] -- Sequent systems for classical and intuitionistic substructural modal logics / O. Watari ... [et al.] -- Diamond embeddings into the D.C.E. degrees with 0 and 1 preserved / G. Wu</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses</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="700" ind1="1" ind2=" "><subfield code="a">Downey, R. G.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Asian Logic Conference < 2002, Chongqing, China></subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028548949</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378</subfield><subfield code="l">DE-1047</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043124759 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-24T04:42:31Z |
| institution | BVB |
| isbn | 1281908819 9781281908810 9789812382610 9789812705815 9812382615 9812705813 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028548949 |
| oclc_num | 829714667 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 471 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | World Scientific |
| record_format | marc |
| spelling | Asian Logic Conference < 1999, Hsi-Tou, Taiwan> Verfasser aut Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 editors Rod Downey ... [et al.] New Jersey World Scientific c2003 1 Online-Ressource (viii, 471 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic. This book contains papers -- many of them surveys by leading experts -- of both the 7th meeting (in Hsi-Tou, Taiwan) and the 8th (in Chongqing, China). The volume planned for the 7th meeting was interrupted by the earthquake in Taiwan and the decision was made to combine the two proceedings. The 8th conference is also the ICM2002 Satellite Conference on Mathematical Logic Elementary properties of Rogers semilattices of arithmetical numberings / S.A. Badaev, S.S. Goncharov and A. Sorbi -- Five puzzles about mathematics in search of solutions / C.S. Chihara -- Complexity classes over the reals: a logician's viewpoint / F. Cucker -- Computability, definability and algebraic structures / R. Downey -- Trivial reals / R.G. Downey ... [et al.] -- Popper and Miller, and induction and deduction / E. Eells -- Enlargements of polynomial coalgebras / R. Goldblatt -- A layered approach to extracting programs from proofs with an application in graph theory / J. Jeavons ... [et al.] -- A common structure of logical and algebraic algorithms / Y. Kawaguchi -- Games on graphs: automata, structure, and complexity / B. Khoussainov and T. Kowalski -- Computational complexity of fractals / K.-I. Ko -- Definability in local degree structures -- a survey of recent results related to jump classes / A. Li and Y. Yang -- A limit stage construction for iterating semiproper preorders / T. Miyamoto -- An application of NDJ [symbol] the catch and throw mechanism / M. Nakata, N. Saneto and M. Yasugi -- The Curry-Howard isomorphism adapted for imperative program synthesis and reasoning / I. Poernomo and J.N. Crossley -- Phase-valued models of linear set theory / M. Shirahata -- A problem on theories with a finite number of countable models / A. Tsuboi -- Probabilistic logic programming with inheritance / J. Wang ... [et al.] -- Sequent systems for classical and intuitionistic substructural modal logics / O. Watari ... [et al.] -- Diamond embeddings into the D.C.E. degrees with 0 and 1 preserved / G. Wu Logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses (DE-588)1071861417 Konferenzschrift gnd-content Downey, R. G. Sonstige oth Asian Logic Conference < 2002, Chongqing, China> Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378 Aggregator Volltext |
| spellingShingle | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 Logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 |
| title_auth | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 |
| title_exact_search | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 |
| title_full | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 editors Rod Downey ... [et al.] |
| title_fullStr | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 editors Rod Downey ... [et al.] |
| title_full_unstemmed | Proceedings of the 7th & 8th Asian Logic Conferences Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 editors Rod Downey ... [et al.] |
| title_short | Proceedings of the 7th & 8th Asian Logic Conferences |
| title_sort | proceedings of the 7th 8th asian logic conferences hsi tou taiwan 6 10 june 1999 chongqing china 29 august 2 september 2002 |
| title_sub | Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 |
| topic | Logica gtt MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logic, Symbolic and mathematical fast Logik Logic, Symbolic and mathematical Congresses |
| topic_facet | Logica MATHEMATICS / Infinity MATHEMATICS / Logic Logic, Symbolic and mathematical Logik Logic, Symbolic and mathematical Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=514378 |
| work_keys_str_mv | AT asianlogicconference1999hsitoutaiwan proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 AT downeyrg proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 AT asianlogicconference2002chongqingchina proceedingsofthe7th8thasianlogicconferenceshsitoutaiwan610june1999chongqingchina29august2september2002 |