Skip to Main content Skip to Navigation
New interface
Conference papers

Terminating Non-Disjoint Combined Unification (Extended Abstract)

Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-02962869
Contributor : Christophe Ringeissen Connect in order to contact the contributor
Submitted on : Friday, October 9, 2020 - 3:23:14 PM
Last modification on : Friday, November 18, 2022 - 9:25:04 AM
Long-term archiving on: : Sunday, January 10, 2021 - 6:48:57 PM

File

combi-hu-UNIF20.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02962869, version 1

Collections

Citation

Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen. Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF 2020 - 34th International Workshop on Unification, Temur Kutsia; Andrew Marshall, Jun 2020, Paris, France. ⟨hal-02962869⟩

Share

Metrics

Record views

26

Files downloads

78