Prefix-Recognizable Graphs and Monadic Logic.
Martin LeuckerPublished in: Automata, Logics, and Infinite Games (2001)
Keyphrases
- deductive databases
- data structure
- logic programming
- graph structure
- modal logic
- picture languages
- graph representation
- graph theory
- graph matching
- datalog queries
- classical logic
- graph model
- finite automata
- multi valued
- automated reasoning
- knowledge base
- deontic logic
- predicate logic
- graph data
- graph theoretic
- programming language
- graph partitioning
- spanning tree
- tree structure
- integrity constraints
- directed graph