Inproceedings,

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

, , and .
WRLA, volume 9942 of Lecture Notes in Computer Science, page 64-81. Springer, (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews