Workshop on Logic, Graph Transformations and Discrete Structures.
Bruno CourcellePascal WeilPublished in: ICGT (2002)
Keyphrases
- relational structures
- random walk
- graph structures
- graph representation
- graph theory
- weighted graph
- graph model
- graph based algorithm
- logical framework
- graphical structure
- neural network
- classical logic
- directed acyclic graph
- graph matching
- graph mining
- graph databases
- finite number
- modal logic
- directed graph
- graph grammars
- chemical compounds
- discrete geometry
- structured data
- proof theory
- logic programming