6 search results - page 2 / 2 » Deeper Connections Between LTL and Alternating Automata |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
The study of finite automata and regular languages is a privileged meeting point of algebra and logic. Since the work of Büchi, regular languages have been classified according ...