Workshop on Logic, Graph Transformations, Finite and Infinite Structures.
Bruno CourcelleDavid JaninPublished in: ICGT (2004)
Keyphrases
- relational structures
- finite sets
- random walk
- graph representation
- weighted graph
- graph structures
- graph structure
- graph model
- directed graph
- linear temporal logic
- real numbers
- finite dimensional
- graph theoretic
- bipartite graph
- multi valued
- automated reasoning
- graph matching
- global structure
- modal logic
- logic programming