Sciweavers

78
Voted
STACS
1998
Springer

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 1 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where STACS
Authors Thomas Schwentick, Klaus Barthelmann
Comments (0)