Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Logic and Games on Automatic Structures - 12 Angebote vergleichen
Preise | 2015 | 2016 | 2019 | 2021 |
---|---|---|---|---|
Schnitt | Fr. 44.73 (€ 45.76)¹ | Fr. 42.61 (€ 43.59)¹ | Fr. 42.51 (€ 43.49)¹ | Fr. 41.83 (€ 42.79)¹ |
Nachfrage |
Logic and Games on Automatic Structures (Paperback) (2011)
ISBN: 9783642228063 bzw. 3642228062, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, Taschenbuch, neu.
Paperback. The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. Thi.Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. 130 pages. 0.209.
Logic and Games on Automatic Structures (2009)
ISBN: 9783642228063 bzw. 3642228062, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. In this book, the author extends this connection between logic and games to the class of automatic structures, where relations are recognized by synchronous finite automata. In model-checking games for automatic structures, two coalitions play against each other with a particular kind of hierarchical imperfect information. The investigation of such games leads to the introduction of a game quantifier on automatic structures, which connects alternating automata with the classical model-theoretic notion of a game quantifier. This study is then extended, determining the memory needed for strategies in infinitary games on the one hand, and characterizing regularity-preserving Lindström quantifiers on the other. Counting quantifiers are investigated in depth: it is shown that all countable omega-automatic structures are in fact finite-word automatic and that the infinity and uncountability set quantifiers are definable in MSO over countable linear orders and over labeled binary trees. This book is based on the PhD thesis of Lukasz Kaiser, which was awarded with the E.W. Beth award for outstanding dissertations in the fields of logic, language, and information in 2009. The work constitutes an innovative study in the area of algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It displays very high technical and presentational quality and originality, advances significantly the field of algorithmic model theory and raises interesting new questions, thus emerging as a fruitful and inspiring source for future research. Soft cover.
Logic and Games on Automatic Structures
ISBN: 9783642228063 bzw. 3642228062, in Deutsch, Springer-Verlag GmbH, Taschenbuch, neu.
Buchhandlung Kühn GmbH, [4368407].
Neuware - The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and hasinspired numerous research directions. In this book, the author extends this connection between logic and games to the class of automatic structures, where relations are recognized by synchronous finite automata.In model-checking games for automatic structures, two coalitions play against each other with a particular kind of hierarchical imperfect information. The investigation of such games leads to the introduction of a game quantifier on automatic structures, which connects alternating automata with the classical model-theoretic notion of a game quantifier. This study is then extended, determining the memory needed for strategies in infinitary games on the one hand, and characterizing regularity-preserving Lindström quantifiers on the other. Counting quantifiers are investigated in depth: it is shown that all countable omega-automatic structures are in fact finite-word automatic and that the infinity and uncountability set quantifiers are definable in MSO over countable linear orders and over labeled binary trees.This book is based on the PhD thesis of Lukasz Kaiser,which was awarded with the E.W. Beth award for outstanding dissertations in the fields of logic, language, and information in 2009. The workconstitutes an innovative study in the area of algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It displays very high technical and presentational quality and originality, advances significantly the field of algorithmic model theory and raises interesting new questions, thus emerging as a fruitful and inspiring source for future research., Taschenbuch.
Logic and Games on Automatic Structures
ISBN: 9783642228063 bzw. 3642228062, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic and Games on Automatic Structures
ISBN: 9783642228070 bzw. 3642228070, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Logic and Games on Automatic Structures
ISBN: 9783642228063 bzw. 3642228062, in Deutsch, Springer, Berlin/Heidelberg/New York, NY, Deutschland, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic and Games on Automatic Structures (2009)
ISBN: 9783642228070 bzw. 3642228070, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic and Games on Automatic Structures - Playing with Quantifiers and Decompositions (2009)
ISBN: 9783642228070 bzw. 3642228070, in Deutsch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Logic and Games on Automatic Structures
ISBN: 9783642228070 bzw. 3642228070, in Deutsch, Springer, neu, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen