Undecidability of Static Equivalence in Leaf Permutative Theories - Department of Formal methods
Communication Dans Un Congrès Année : 2024

Undecidability of Static Equivalence in Leaf Permutative Theories

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
ErbaturMNR-UNIF24.pdf (278.37 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-04778322

Soumis le : mardi 12 novembre 2024-16:13:34

Dernière modification le : mercredi 13 novembre 2024-03:42:14

Télécharger pour visualiser

Dates et versions

hal-04778322 , version 1 (12-11-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04778322 , version 1

Citer

Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. Undecidability of Static Equivalence in Leaf Permutative Theories. 38th International Workshop on Unification, Jul 2024, Nancy, France. ⟨hal-04778322⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More