Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logic and Games on Automatic Structures

Logic and Games on Automatic Structures

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642228063
Condition
New
Product Description

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 Lindstrm 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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Cuba and Western Intellectuals since 1959

$54.99

Personalabrechnung auf den Punkt

$84.99

Wer sind Social Entrepreneurs in Deutschland?

$39.99

Developing Advanced English Language Competence

$159.99

Das Management von Geschftsbeziehungen

$59.99

Notflle in Gynkologie und Geburtshilfe

$74.99

Der Transistor

$44.99

Emergent Reader: Patterns

$3.71

Simultaneously Transmitting and Reflecting Surfaces for Wireless Communications

$149.99

Multipersonelles Verhalten bei strategischen Entscheidungen

$49.99

Dendritic Cells: Biophysics, Tumor Microenvironment and Chinese Traditional Medicine

$39.99

Modes & Traits: Writing Lessons Across the Year Grade 1

$275.40

Die wissenschaftlichen Arbeiten des Botanischen Instituts der K. Universitt zu Berlin in den ersten

$59.99

Haptics: Generating and Perceiving Tangible Sensations, Part II

$39.99

Laser Doppler and Phase Doppler Measurement Techniques

$449.99

Regenerative Medicine

$169.00

The Comical

$129.00

Combinations of Intelligent Methods and Applications

$169.99

Game-Theoretic Methods in General Equilibrium Analysis

$219.99

The Palgrave Handbook of Critical Menstruation Studies

$59.99

Huawei

$159.99

Colonic Diverticular Disease

$89.00

Proceedings of the First Seattle Symposium in Biostatistics: Survival Analysis

$109.99

On the Move to Meaningful Internet Systems: OTM 2008 Workshops

$129.00

Modern Aspects of Protein Adsorption on Biomaterials

$129.00

Verbnde mit Zukunft?

$79.99

Metamathematik der Elementarmathematik

$59.99

Parasitinsekten der Blattminierer Europas

$49.99

Lean Enterprise Value

$84.99

Learn About: Your Best Self: I Can Be Kind

$5.24

Costs and Benefits in Health Care and Prevention

$109.99

Fighting Against the Injustice of the State and Globalization

$39.99

Preanesthetic Assessment 1

$39.99

Richtiges Messen in Dampf- und Feuerungsbetrieben

$59.99

Interpersonal Relationships and the Self-Concept

$199.99

Structural and Magnetic Phase Transitions in Minerals

$84.99

Interdisciplinary Handbook of the Person-Centered Approach

$169.99

Modellierung dynamischer Prozesse in der Hydrologie

$39.99

Der Stand der Forschung ber den Schiffspropeller im Hinblick auf die technische Berechnung

$54.99

Human Trafficking: A Global Health Emergency

$99.99