TY - BOOK
AU - Kaiser, Łukasz
TI - Logic and games on automatic structures playing with quantifiers and decompositions
PB - Springer
SN - 3642228062
SN - 9783642228063
KW - Computer logic
KW - Spieltheorie
KW - Automat Automatentheorie
KW - Mathematische Logik
KW - Model Checking
KW - Lindström-Quantor
PY - 2011
N2 - Literaturverz. S. [111] - 116
BT - Lecture notes in computer science ; Lecture notes in artificial intelligence ; 6810
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation