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

Terminating Non-Disjoint Combined Unification (Extended Abstract)

Serdar Erbatur
University of Texas at Dallas [Richardson]
Andrew M Marshall
University of Mary Washington
Christophe Ringeissen
Proof techniques for security protocols

Domaines

Logique en informatique [cs.LO]
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)

Christophe Ringeissen  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02962869

Soumis le : vendredi 9 octobre 2020-15:23:14

Dernière modification le : lundi 2 décembre 2024-17:36:02

Archivage à long terme le : dimanche 10 janvier 2021-18:48:57

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
46 Consultations
95 Téléchargements

Partager

More