The Structure of Models of Decidable Monadic Theories of Graphs.
Detlef SeesePublished in: Ann. Pure Appl. Log. (1991)
Keyphrases
- probabilistic model
- graph structure
- graph representations
- graph structures
- graph representation
- complex systems
- structural models
- datalog queries
- computational models
- complex structures
- directed acyclic
- formal models
- relational structures
- graph theoretic
- graph model
- graph theory
- statistical models
- logic programming
- logic programs
- graphical models