Local normal forms for first-order logic with applications to games and automata.

Schwentick, Thomas, and Barthelmann, Klaus. "Local normal forms for first-order logic with applications to games and automata.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 3.3 (1999): 109-124. <http://eudml.org/doc/120200>.

@article{Schwentick1999,
author = {Schwentick, Thomas, Barthelmann, Klaus},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
keywords = {existential monadic second-order logic; games; locality; first-order logic; automata},
language = {eng},
number = {3},
pages = {109-124},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Local normal forms for first-order logic with applications to games and automata.},
url = {http://eudml.org/doc/120200},
volume = {3},
year = {1999},
}

TY - JOUR
AU - Schwentick, Thomas
AU - Barthelmann, Klaus
TI - Local normal forms for first-order logic with applications to games and automata.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 1999
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 3
IS - 3
SP - 109
EP - 124
LA - eng
KW - existential monadic second-order logic; games; locality; first-order logic; automata
UR - http://eudml.org/doc/120200
ER -