Weighted Automata and Logics on Infinite Graphs.

Published in: DLT (2016)

Keyphrases

weighted graph
expressive power
regular languages
graph model
weighted sum
association graph
finite automata
graph matching

graph partitioning
cellular automata
modal logic
graph representation
spectral graph
subgraph isomorphism
adjacency matrix
classical logic

inference rules
graph theory
graph databases
regular expressions
graph theoretic
edge weights
graph structure

graph construction
bipartite graph
directed graph
np complete
np hard
proof theory
neural network