Terminating Non-Disjoint Combined Unification (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Terminating Non-Disjoint Combined Unification (Extended Abstract)

Serdar Erbatur
  • Fonction : Auteur
  • PersonId : 1078938
Andrew M Marshall
  • Fonction : Auteur
  • PersonId : 1016942
Fichier principal
Vignette du fichier
combi-hu-UNIF20.pdf (288.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02962869 , version 1 (09-10-2020)

Identifiants

  • HAL Id : hal-02962869 , version 1

Citer

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⟩
33 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More