Graph-transformation verification using monadic second-order logic.

Kazuhiro Inaba Soichiro Hidaka Zhenjiang Hu Hiroyuki Kato Keisuke Nakano

Published in: PPDP (2011)

Keyphrases

graph transformation
monadic second order logic
expressive power
model checking
data complexity
data mining
query language
first order logic
databases
special case
hidden markov models
domain knowledge
tree automata