Skip to Main content Skip to Navigation
Conference papers

Terminating Non-Disjoint Combined Unification (Extended Abstract)

Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-02962869
Contributor : Christophe Ringeissen <>
Submitted on : Friday, October 9, 2020 - 3:23:14 PM
Last modification on : Saturday, October 10, 2020 - 3:35:52 AM

File

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

Identifiers

  • HAL Id : hal-02962869, version 1

Collections

Citation

Serdar Erbatur, Andrew 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

9

Files downloads

31