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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01291393
Contributor : Yohan Boichut <>
Submitted on : Monday, March 21, 2016 - 2:19:14 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

  • HAL Id : hal-01291393, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

491