Sciweavers

16626 search results - page 159 / 3326
» Computing is a natural science
Sort
View
181
Voted
STACS
1998
Springer
15 years 11 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann