Login / Signup
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