Second-order Church-Rosser modulo, without normalization - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2024

Second-order Church-Rosser modulo, without normalization

Résumé

We investigate criteria for proving Church-Rosser modulo of second-order rewrite systems without relying on normalization.

Mots clés

Rewriting Theory

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
iwc24.pdf (394.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Thiago Felicissimo  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04835978

Soumis le : vendredi 13 décembre 2024-12:02:40

Dernière modification le : mercredi 18 décembre 2024-16:53:54

Télécharger pour visualiser

Dates et versions

hal-04835978 , version 1 (13-12-2024)

Licence

Paternité

Identifiants

  • HAL Id : hal-04835978 , version 1

Citer

Thiago Felicissimo. Second-order Church-Rosser modulo, without normalization. IWC 2024 – 13th International Workshop on Confluence, Jul 2024, Tallinn, Estonia. ⟨hal-04835978⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
0 Consultations
0 Téléchargements

Partager

More