Sciweavers

7986 search results - page 12 / 1598
» Computational Science and its Applications
Sort
View
80
Voted
STACS
1998
Springer
15 years 1 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann