Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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

Vivien Pelletier
  • Function : Author
  • PersonId : 979960
No file

Dates and versions

hal-01291393 , version 1 (21-03-2016)

Identifiers

  • HAL Id : hal-01291393 , version 1

Cite

Yohan Boichut, Pierre Réty, Vivien Pelletier. Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. International Workshop on Rewriting Logic and its Applications, Apr 2016, Eindhoven, Netherlands. ⟨hal-01291393⟩
466 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More