Weighted Automata and Logics on Graphs.

Manfred Droste Stefan Dück

Published in: MFCS (1) (2015)

Keyphrases

weighted graph
graph model
expressive power
cellular automata
modal logic
finite automata
graph representation
spectral graph
propositional calculus
association graph
graph theory
directed graph
weighted sum
graph databases
undirected graph
graph partitioning
graph mining
inference rules
proof theory
bipartite graph