Sign in

Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.

Yohan BoichutVivien PelletierPierre Réty
Published in: WRLA (2016)
Keyphrases
  • tree languages
  • term rewrite systems
  • tree automata
  • state space
  • object oriented
  • finite state
  • tree patterns
  • context free
  • rewrite rules