HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01291393
Contributor : Yohan Boichut Connect in order to contact the contributor
Submitted on : Monday, March 21, 2016 - 2:19:14 PM
Last modification on : Tuesday, January 18, 2022 - 5:36:01 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

456