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樓

中世紀(jì)

7樓

Genome

8樓

faucet

8樓

有限

8樓