On the Logical Definability of Certain Graph and Poset Languages.
Pascal WeilPublished in: J. Autom. Lang. Comb. (2004)
Keyphrases
- graph representation
- graph theory
- bipartite graph
- graph structure
- expressive power
- random walk
- partial order
- graph model
- connected components
- directed acyclic graph
- graph theoretic
- spanning tree
- language independent
- partially ordered
- logical properties
- grammatical inference
- databases
- graph partitioning
- fixed point
- structured data
- xml documents