Titlebook: Logic and Games on Automatic Structures; Playing with Quantif Łukasz Kaiser Book 2011 Springer-Verlag GmbH Berlin Heidelberg 2011 Game theo

VOC

芦笋

Palliation

高度

Outlook,ers can be reduced to first-order logic on automatic structures. Thus, hierarchical games provide a way to model-check first-order logic extended with cardinality, counting and game quantification on automatic presentations.

革新

Logics, Structures and Presentations,asic facts from automata theory . We introduce automatic structures using presentations by automata and characterize them both by first-order and by monadic second-order to first-order interpretations. Finally, we discuss the composition method for monadic second-order logic over linear orders and trees.

FIR

7楼

中世纪

7楼

Genome

8楼

faucet

8楼

有限

8楼