Skip to Main content Skip to Navigation
New interface
Conference papers

Extending the Explicit Substitution Paradigm

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00148847
Contributor : Delia KESNER Connect in order to contact the contributor
Submitted on : Wednesday, May 23, 2007 - 2:34:19 PM
Last modification on : Saturday, June 25, 2022 - 8:46:47 PM

Identifiers

  • HAL Id : hal-00148847, version 1

Collections

Citation

Delia Kesner, Stéphane Lengrand. Extending the Explicit Substitution Paradigm. International Conference on Rewriting Techniques and Applications (RTA), 2005, Nara, Japan. pp.407-422. ⟨hal-00148847⟩

Share

Metrics

Record views

46