Login / Signup
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion.
Christian Sternagel
Thomas Sternagel
Published in:
FSCD (2016)
Keyphrases
</>
tree automata
regular expressions
finite automata
finite state
tree languages
syntactic pattern recognition
finite automaton
context free grammars
machine learning
data exchange
xml schema
context sensitive