Login / Signup
On infinite transition graphs having a decidable monadic theory.
Didier Caucal
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
datalog programs
datalog queries
graph matching
graph theory
graph theoretic
theoretical framework
transitive closure