16 search results - page 4 / 4 » Coalgebraic Automata Theory: Basic Results |
97
Voted
LATA
2009
Springer
15 years 4 months 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...