16 search results - page 4 / 4 » Coalgebraic Automata Theory: Basic Results |
LATA
2009
Springer
14 years 12 days ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...