Articoli correlati a Logic and Games on Automatic Structures: Playing with...

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions: 6810 - Brossura

 
9783642228063: Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions: 6810

Sinossi

This book presents an innovative study in algorithmic model theory, demonstrating the deep interplay between logic and computability in automatic structures. It is based on the PhD thesis of Lukasz Kaiser, which was awarded the E.W. Beth award.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: ottimo
Zustand: Sehr gut | Sprache: Englisch...
Visualizza questo articolo

EUR 105,00 per la spedizione da Germania a U.S.A.

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9783642228087: Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Edizione in evidenza

ISBN 10:  3642228089 ISBN 13:  9783642228087
Casa editrice: Springer, 2011
Brossura

Risultati della ricerca per Logic and Games on Automatic Structures: Playing with...

Foto dell'editore

Kaiser, Lukasz
Editore: Springer, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Brossura

Da: Lucky's Textbooks, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo ABLIING23Mar3113020221171

Contatta il venditore

Compra nuovo

EUR 51,87
Convertire valuta
Spese di spedizione: EUR 3,40
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Kaiser, Lukasz
Editore: Springer, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Brossura

Da: Best Price, Torrance, CA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783642228063

Contatta il venditore

Compra nuovo

EUR 48,22
Convertire valuta
Spese di spedizione: EUR 7,65
In U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Kaiser, Lukasz
Editore: Springer, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Brossura

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9783642228063

Contatta il venditore

Compra nuovo

EUR 64,89
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Kaiser, Lukasz
Editore: Springer, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783642228063_new

Contatta il venditore

Compra nuovo

EUR 56,53
Convertire valuta
Spese di spedizione: EUR 13,73
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Kaiser, Lukasz
Editore: Springer 2011-07, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo PF

Da: Chiron Media, Wallingford, Regno Unito

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

PF. Condizione: New. Codice articolo 6666-IUK-9783642228063

Contatta il venditore

Compra nuovo

EUR 55,95
Convertire valuta
Spese di spedizione: EUR 17,76
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 10 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Lukasz Kaiser
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Kartoniert / Broschiert

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Codice articolo 5053008

Contatta il venditore

Compra nuovo

EUR 48,74
Convertire valuta
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Kaiser, Aukasz
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Paperback

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 130 pages. 9.10x6.10x0.30 inches. In Stock. Codice articolo x-3642228062

Contatta il venditore

Compra nuovo

EUR 75,04
Convertire valuta
Spese di spedizione: EUR 28,66
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Lukasz Kaiser
ISBN 10: 3642228062 ISBN 13: 9783642228063
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. 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 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. Codice articolo 9783642228063

Contatta il venditore

Compra nuovo

EUR 77,00
Convertire valuta
Spese di spedizione: EUR 61,06
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Lukasz Kaiser
Editore: Springer-Verlag GmbH, 2011
ISBN 10: 3642228062 ISBN 13: 9783642228063
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Codice articolo 10937175/12

Contatta il venditore

Compra usato

EUR 34,68
Convertire valuta
Spese di spedizione: EUR 105,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello