Logic and automata :: history and perspectives /
This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field.
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
Amsterdam University Press,
©2008.
|
| Schriftenreihe: | Texts in logic and games ;
v. 2. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field. |
| Beschreibung: | Title from PDF title page (viewed July 1, 2008). |
| Beschreibung: | 1 online resource : illustrations |
| Bibliographie: | Includes bibliographical references. |
| ISBN: | 9789048501281 9048501288 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn232968063 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 080701s2008 ne a ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d EBLCP |d OCLCQ |d TUU |d OCLCQ |d E7B |d OCLCO |d OCLCQ |d OCLCF |d DEBSZ |d JSTOR |d OCLCQ |d NLGGC |d OCLCQ |d MERUC |d OAPEN |d ORU |d OCLCQ |d AGLDB |d MOR |d PIFAG |d OCLCQ |d ZCU |d OCLCQ |d IOG |d WY@ |d U3W |d LUE |d STF |d WRM |d OCLCQ |d VTS |d EZ9 |d ICG |d INT |d VT2 |d AU@ |d OCLCQ |d LVT |d IYU |d ICN |d YOU |d SOI |d OCLCQ |d OCL |d MERER |d CUY |d OCLCQ |d ERL |d TXR |d DKC |d OCLCQ |d M8D |d OCLCQ |d WYU |d TKN |d UKCRE |d OCLCQ |d UEJ |d QGK |d OCLCO |d OCLCQ |d ANO |d OCLCQ |d OCLCO |d OCLCL |d SXB |d OCLCQ |d OCLCO | ||
| 019 | |a 609990520 |a 647792157 |a 764512026 |a 956750336 |a 960282967 |a 961548248 |a 962615274 |a 988518483 |a 991988641 |a 1037919492 |a 1038032188 |a 1038613420 |a 1045514105 |a 1055385436 |a 1058105878 |a 1062903047 |a 1084425281 |a 1153541717 |a 1228544686 |a 1229848255 |a 1259241733 |a 1401731355 |a 1440463546 | ||
| 020 | |a 9789048501281 |q (electronic bk.) | ||
| 020 | |a 9048501288 |q (electronic bk.) | ||
| 020 | |z 9789053565766 | ||
| 020 | |z 9053565760 | ||
| 035 | |a (OCoLC)232968063 |z (OCoLC)609990520 |z (OCoLC)647792157 |z (OCoLC)764512026 |z (OCoLC)956750336 |z (OCoLC)960282967 |z (OCoLC)961548248 |z (OCoLC)962615274 |z (OCoLC)988518483 |z (OCoLC)991988641 |z (OCoLC)1037919492 |z (OCoLC)1038032188 |z (OCoLC)1038613420 |z (OCoLC)1045514105 |z (OCoLC)1055385436 |z (OCoLC)1058105878 |z (OCoLC)1062903047 |z (OCoLC)1084425281 |z (OCoLC)1153541717 |z (OCoLC)1228544686 |z (OCoLC)1229848255 |z (OCoLC)1259241733 |z (OCoLC)1401731355 |z (OCoLC)1440463546 | ||
| 037 | |a 22573/ctt45sznf |b JSTOR | ||
| 050 | 4 | |a QA76.9.M35 |b L64 2008eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM000000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Logic and automata : |b history and perspectives / |c edited by Jörg Flum, Erich Grädel, Thomas Wilke. |
| 260 | |a Amsterdam : |b Amsterdam University Press, |c ©2008. | ||
| 300 | |a 1 online resource : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file | ||
| 490 | 1 | |a Texts in logic and games ; |v vol. 2 | |
| 500 | |a Title from PDF title page (viewed July 1, 2008). | ||
| 504 | |a Includes bibliographical references. | ||
| 520 | |a This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field. | ||
| 505 | 0 | |a Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke. | |
| 546 | |a English. | ||
| 650 | 0 | |a Computer science |x Mathematics. |0 http://id.loc.gov/authorities/subjects/sh85042295 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Game theory. |0 http://id.loc.gov/authorities/subjects/sh85052941 | |
| 650 | 0 | |a Computational complexity. |0 http://id.loc.gov/authorities/subjects/sh85029473 | |
| 650 | 0 | |a Machine theory. |0 http://id.loc.gov/authorities/subjects/sh85079341 | |
| 650 | 6 | |a Informatique |x Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie des jeux. | |
| 650 | 6 | |a Complexité de calcul (Informatique) | |
| 650 | 6 | |a Théorie des automates. | |
| 650 | 7 | |a Mathematics and science. |2 bicssc | |
| 650 | 7 | |a Science: general issues. |2 bicssc | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x General. |2 bisacsh | |
| 650 | 7 | |a Machine theory |2 fast | |
| 650 | 7 | |a Computational complexity |2 fast | |
| 650 | 7 | |a Computer science |x Mathematics |2 fast | |
| 650 | 7 | |a Game theory |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 700 | 1 | |a Flum, Jörg. |1 https://id.oclc.org/worldcat/entity/E39PBJppwbVHMWR3RD4kkCxdQq |0 http://id.loc.gov/authorities/names/n78096619 | |
| 700 | 1 | |a Grädel, Erich, |d 1958- |1 https://id.oclc.org/worldcat/entity/E39PBJgd9K8rypyQ6QFH6GcdcP |0 http://id.loc.gov/authorities/names/n96097127 | |
| 700 | 1 | |a Wilke, Thomas, |d 1965- |1 https://id.oclc.org/worldcat/entity/E39PBJwHgKXXfpHFh6pD9wxv73 |0 http://id.loc.gov/authorities/names/n2002162409 | |
| 758 | |i has work: |a Logic and automata (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG8YgXKv3kvP8JhgkTbXBd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 773 | 0 | |t Books at JSTOR: Open Access |d JSTOR | |
| 773 | 0 | |t OAPEN (Open Access Publishing in European Networks) |d OAPEN | |
| 776 | 0 | 8 | |i Print version: |t Logic and automata. |d [Amsterdam] : Amsterdam University Press, ©2008 |z 9789053565766 |w (DLC) 2008464788 |w (OCoLC)225876077 |
| 830 | 0 | |a Texts in logic and games ; |v v. 2. |0 http://id.loc.gov/authorities/names/no2009049805 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224164 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL419849 | ||
| 938 | |a EBSCOhost |b EBSC |n 224164 | ||
| 938 | |a OAPEN Foundation |b OPEN |n 340026 | ||
| 938 | |a YBP Library Services |b YANK |n 2841944 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn232968063 |
|---|---|
| _version_ | 1816881668589355008 |
| adam_text | |
| any_adam_object | |
| author2 | Flum, Jörg Grädel, Erich, 1958- Wilke, Thomas, 1965- |
| author2_role | |
| author2_variant | j f jf e g eg t w tw |
| author_GND | http://id.loc.gov/authorities/names/n78096619 http://id.loc.gov/authorities/names/n96097127 http://id.loc.gov/authorities/names/n2002162409 |
| author_facet | Flum, Jörg Grädel, Erich, 1958- Wilke, Thomas, 1965- |
| author_sort | Flum, Jörg |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 L64 2008eb |
| callnumber-search | QA76.9.M35 L64 2008eb |
| callnumber-sort | QA 276.9 M35 L64 42008EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke. |
| ctrlnum | (OCoLC)232968063 |
| 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>06719cam a2200829 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn232968063</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">080701s2008 ne a ob 000 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">JSTOR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OAPEN</subfield><subfield code="d">ORU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOG</subfield><subfield code="d">WY@</subfield><subfield code="d">U3W</subfield><subfield code="d">LUE</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">EZ9</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LVT</subfield><subfield code="d">IYU</subfield><subfield code="d">ICN</subfield><subfield code="d">YOU</subfield><subfield code="d">SOI</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">MERER</subfield><subfield code="d">CUY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ERL</subfield><subfield code="d">TXR</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UEJ</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ANO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">609990520</subfield><subfield code="a">647792157</subfield><subfield code="a">764512026</subfield><subfield code="a">956750336</subfield><subfield code="a">960282967</subfield><subfield code="a">961548248</subfield><subfield code="a">962615274</subfield><subfield code="a">988518483</subfield><subfield code="a">991988641</subfield><subfield code="a">1037919492</subfield><subfield code="a">1038032188</subfield><subfield code="a">1038613420</subfield><subfield code="a">1045514105</subfield><subfield code="a">1055385436</subfield><subfield code="a">1058105878</subfield><subfield code="a">1062903047</subfield><subfield code="a">1084425281</subfield><subfield code="a">1153541717</subfield><subfield code="a">1228544686</subfield><subfield code="a">1229848255</subfield><subfield code="a">1259241733</subfield><subfield code="a">1401731355</subfield><subfield code="a">1440463546</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048501281</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9048501288</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789053565766</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9053565760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232968063</subfield><subfield code="z">(OCoLC)609990520</subfield><subfield code="z">(OCoLC)647792157</subfield><subfield code="z">(OCoLC)764512026</subfield><subfield code="z">(OCoLC)956750336</subfield><subfield code="z">(OCoLC)960282967</subfield><subfield code="z">(OCoLC)961548248</subfield><subfield code="z">(OCoLC)962615274</subfield><subfield code="z">(OCoLC)988518483</subfield><subfield code="z">(OCoLC)991988641</subfield><subfield code="z">(OCoLC)1037919492</subfield><subfield code="z">(OCoLC)1038032188</subfield><subfield code="z">(OCoLC)1038613420</subfield><subfield code="z">(OCoLC)1045514105</subfield><subfield code="z">(OCoLC)1055385436</subfield><subfield code="z">(OCoLC)1058105878</subfield><subfield code="z">(OCoLC)1062903047</subfield><subfield code="z">(OCoLC)1084425281</subfield><subfield code="z">(OCoLC)1153541717</subfield><subfield code="z">(OCoLC)1228544686</subfield><subfield code="z">(OCoLC)1229848255</subfield><subfield code="z">(OCoLC)1259241733</subfield><subfield code="z">(OCoLC)1401731355</subfield><subfield code="z">(OCoLC)1440463546</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">22573/ctt45sznf</subfield><subfield code="b">JSTOR</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.M35</subfield><subfield code="b">L64 2008eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic and automata :</subfield><subfield code="b">history and perspectives /</subfield><subfield code="c">edited by Jörg Flum, Erich Grädel, Thomas Wilke.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Amsterdam University Press,</subfield><subfield code="c">©2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">vol. 2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from PDF title page (viewed July 1, 2008).</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042295</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Game theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85052941</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational complexity.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029473</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85079341</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="x">Mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des jeux.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Complexité de calcul (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorie des automates.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics and science.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Science: general issues.</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</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="7"><subfield code="a">Computational complexity</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Game theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Flum, Jörg.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJppwbVHMWR3RD4kkCxdQq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n78096619</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grädel, Erich,</subfield><subfield code="d">1958-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJgd9K8rypyQ6QFH6GcdcP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n96097127</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wilke, Thomas,</subfield><subfield code="d">1965-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJwHgKXXfpHFh6pD9wxv73</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2002162409</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic and automata (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCG8YgXKv3kvP8JhgkTbXBd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="773" ind1="0" ind2=" "><subfield code="t">Books at JSTOR: Open Access</subfield><subfield code="d">JSTOR</subfield></datafield><datafield tag="773" ind1="0" ind2=" "><subfield code="t">OAPEN (Open Access Publishing in European Networks)</subfield><subfield code="d">OAPEN</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Logic and automata.</subfield><subfield code="d">[Amsterdam] : Amsterdam University Press, ©2008</subfield><subfield code="z">9789053565766</subfield><subfield code="w">(DLC) 2008464788</subfield><subfield code="w">(OCoLC)225876077</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 2.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009049805</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224164</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL419849</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">224164</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">OAPEN Foundation</subfield><subfield code="b">OPEN</subfield><subfield code="n">340026</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2841944</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn232968063 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:22Z |
| institution | BVB |
| isbn | 9789048501281 9048501288 |
| language | English |
| oclc_num | 232968063 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Amsterdam University Press, |
| record_format | marc |
| series | Texts in logic and games ; |
| series2 | Texts in logic and games ; |
| spelling | Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke. Amsterdam : Amsterdam University Press, ©2008. 1 online resource : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Texts in logic and games ; vol. 2 Title from PDF title page (viewed July 1, 2008). Includes bibliographical references. This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field. Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke. English. Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Game theory. http://id.loc.gov/authorities/subjects/sh85052941 Computational complexity. http://id.loc.gov/authorities/subjects/sh85029473 Machine theory. http://id.loc.gov/authorities/subjects/sh85079341 Informatique Mathématiques. Logique symbolique et mathématique. Théorie des jeux. Complexité de calcul (Informatique) Théorie des automates. Mathematics and science. bicssc Science: general issues. bicssc MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh COMPUTERS General. bisacsh Machine theory fast Computational complexity fast Computer science Mathematics fast Game theory fast Logic, Symbolic and mathematical fast Flum, Jörg. https://id.oclc.org/worldcat/entity/E39PBJppwbVHMWR3RD4kkCxdQq http://id.loc.gov/authorities/names/n78096619 Grädel, Erich, 1958- https://id.oclc.org/worldcat/entity/E39PBJgd9K8rypyQ6QFH6GcdcP http://id.loc.gov/authorities/names/n96097127 Wilke, Thomas, 1965- https://id.oclc.org/worldcat/entity/E39PBJwHgKXXfpHFh6pD9wxv73 http://id.loc.gov/authorities/names/n2002162409 has work: Logic and automata (Text) https://id.oclc.org/worldcat/entity/E39PCG8YgXKv3kvP8JhgkTbXBd https://id.oclc.org/worldcat/ontology/hasWork Books at JSTOR: Open Access JSTOR OAPEN (Open Access Publishing in European Networks) OAPEN Print version: Logic and automata. [Amsterdam] : Amsterdam University Press, ©2008 9789053565766 (DLC) 2008464788 (OCoLC)225876077 Texts in logic and games ; v. 2. http://id.loc.gov/authorities/names/no2009049805 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224164 Volltext |
| spellingShingle | Logic and automata : history and perspectives / Texts in logic and games ; Machine derived contents note: Preface On the topological complexity of tree languages Andre; Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski Nondeterministic controllers of nondeterministic processes Andre; Arnold, Igor Walukiewicz Reachability in continuous-time Markov reward decision processes Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen Logical theories and compatible operations Achim Blumensath, Thomas Colcombet, Christof Löding Forest algebras Mikolaj Bojanczyk, Igor Walukiewicz Automata and semigroups recognizing infinite words Olivier Carton, Dominique Perrin, Jean-Éric Pin Deterministic graph grammars Didier Caucal Quantifier-free definable graph operations preserving recognizability Bruno Courcelle First-order definable languages Volker Diekert, Paul Gastin Matrix-based complexity functions and recognizable picture languages Dora Giammarresi, Antonio Restivo Applying Blackwell optimality: priority mean-payoff games as limits of multi-discounted games Hugo Gimbert, Wieslaw Zielonka Logic, graphs, and algorithms Martin Grohe Non-regular fixed-point logics and games Stephan Kreutzer, Martin Lange The universal automaton Sylvain Lombardy, Jacques Sakarovitch Deterministic top-down tree automata: past, present, and future Wim Martens, Frank Neven, Thomas Schwentick Expressive power of monadic logics on words, trees, pictures, and graphs Oliver Matz, Nicole Schweikardt Structured strategies in games on graphs R. Ramanujam, Sunil Simon Counting in trees Helmut Seidl, Thomas Schwentick, Anca Muscholl Modular quantifiers Howard Straubing, Denis The;rien Automata: from logics to algorithms Moshe Y. Vardi, Thomas Wilke. Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Game theory. http://id.loc.gov/authorities/subjects/sh85052941 Computational complexity. http://id.loc.gov/authorities/subjects/sh85029473 Machine theory. http://id.loc.gov/authorities/subjects/sh85079341 Informatique Mathématiques. Logique symbolique et mathématique. Théorie des jeux. Complexité de calcul (Informatique) Théorie des automates. Mathematics and science. bicssc Science: general issues. bicssc MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh COMPUTERS General. bisacsh Machine theory fast Computational complexity fast Computer science Mathematics fast Game theory fast Logic, Symbolic and mathematical fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85042295 http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85052941 http://id.loc.gov/authorities/subjects/sh85029473 http://id.loc.gov/authorities/subjects/sh85079341 |
| title | Logic and automata : history and perspectives / |
| title_auth | Logic and automata : history and perspectives / |
| title_exact_search | Logic and automata : history and perspectives / |
| title_full | Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke. |
| title_fullStr | Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke. |
| title_full_unstemmed | Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke. |
| title_short | Logic and automata : |
| title_sort | logic and automata history and perspectives |
| title_sub | history and perspectives / |
| topic | Computer science Mathematics. http://id.loc.gov/authorities/subjects/sh85042295 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Game theory. http://id.loc.gov/authorities/subjects/sh85052941 Computational complexity. http://id.loc.gov/authorities/subjects/sh85029473 Machine theory. http://id.loc.gov/authorities/subjects/sh85079341 Informatique Mathématiques. Logique symbolique et mathématique. Théorie des jeux. Complexité de calcul (Informatique) Théorie des automates. Mathematics and science. bicssc Science: general issues. bicssc MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh COMPUTERS General. bisacsh Machine theory fast Computational complexity fast Computer science Mathematics fast Game theory fast Logic, Symbolic and mathematical fast |
| topic_facet | Computer science Mathematics. Logic, Symbolic and mathematical. Game theory. Computational complexity. Machine theory. Informatique Mathématiques. Logique symbolique et mathématique. Théorie des jeux. Complexité de calcul (Informatique) Théorie des automates. Mathematics and science. Science: general issues. MATHEMATICS Infinity. MATHEMATICS Logic. COMPUTERS General. Machine theory Computational complexity Computer science Mathematics Game theory Logic, Symbolic and mathematical |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=224164 |
| work_keys_str_mv | AT flumjorg logicandautomatahistoryandperspectives AT gradelerich logicandautomatahistoryandperspectives AT wilkethomas logicandautomatahistoryandperspectives |