Monadic second-order logic on tree-like structures
Theoretical Computer Science
On infinite transition graphs having a decidable monadic theory
Theoretical Computer Science
On Infinite Terms Having a Decidable Monadic Theory
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Automata logics, and infinite games
On the structure of graphs in the Caucal hierarchy
Theoretical Computer Science
Model Transformations in Decidability Proofs for Monadic Theories
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Decidable expansions of labelled linear orderings
Fields of logic and computation
On Monadic theories of monadic predicates
Fields of logic and computation
Green's relations and their use in automata theory
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Regular sets over extended tree structures
Theoretical Computer Science
| Hi-index | 0.01 |