Login / Signup

Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion.

Christian SternagelThomas 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