Traces of term-automatic graphs.

Published in: RAIRO Theor. Informatics Appl. (2008)

Keyphrases

term extraction
mazurkiewicz traces
machine learning
graph matching
directed graph
website
search algorithm
temporal logic
graph structure
graph theoretic