Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Amsterdam University Press,
©2008.
|
| Colección: | Texts in logic and games ;
v. 2. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | JSTOROA_ocn232968063 | ||
| 003 | OCoLC | ||
| 005 | 20231005004200.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 | ||
| 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 | ||
| 020 | |a 9789048501281 |q (electronic bk.) | ||
| 020 | |a 9048501288 |q (electronic bk.) | ||
| 020 | |z 9789053565766 | ||
| 020 | |z 9053565760 | ||
| 029 | 1 | |a AU@ |b 000045048461 | |
| 029 | 1 | |a AU@ |b 000048782049 | |
| 029 | 1 | |a AU@ |b 000051331845 | |
| 029 | 1 | |a DEBBG |b BV043112750 | |
| 029 | 1 | |a DEBBG |b BV044133514 | |
| 029 | 1 | |a DEBSZ |b 396238645 | |
| 029 | 1 | |a DEBSZ |b 422139025 | |
| 029 | 1 | |a DEBSZ |b 456441743 | |
| 029 | 1 | |a GBVCP |b 1003593739 | |
| 029 | 1 | |a NLGGC |b 380809192 | |
| 029 | 1 | |a NZ1 |b 13859946 | |
| 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 | ||
| 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 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 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. | ||
| 590 | |a JSTOR |b Books at JSTOR Open Access | ||
| 590 | |a JSTOR |b Books at JSTOR All Purchased | ||
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Game theory. | |
| 650 | 0 | |a Computational complexity. | |
| 650 | 0 | |a Machine theory. | |
| 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. | |
| 700 | 1 | |a Grädel, Erich, |d 1958- | |
| 700 | 1 | |a Wilke, Thomas, |d 1965- | |
| 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. | |
| 856 | 4 | 0 | |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt46mv83 |z Texto completo |
| 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 IZTAP | ||