On Families of Graphs Having a Decidable First Order Theory with Reachability.

Thomas Colcombet

Published in: ICALP (2002)

Keyphrases

first order logic
transitive closure
higher order
theoretical framework
action theories
computational model
graph theoretic
classical first order logic
structured data
background knowledge
graph matching
graph theory
datalog programs