16 search results - page 4 / 4 » Coalgebraic Automata Theory: Basic Results |
178
click to vote
LATA
2009
Springer
16 years 23 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...