Modular and Incremental Proofs of AC-Termination

Claude Marché; Xavier Urbain

doi:10.1016/j.jsc.2004.02.003

Article Dans Une Revue Journal of Symbolic Computation Année : 2004

Modular and Incremental Proofs of AC-Termination

(1) , (2, 1)

1
2

Claude Marché

Fonction : Auteur
PersonId : 3448
IdHAL : claude-marche
ORCID : 0000-0003-3035-1269
IdRef : 069480249

Laboratoire de Recherche en Informatique

CV

Xavier Urbain

Fonction : Auteur
PersonId : 7387
IdHAL : xavier-urbain
ORCID : 0000-0001-7442-2538
IdRef : 188533478

Université Paris-Sud - Paris 11

Laboratoire de Recherche en Informatique

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]

Xavier Urbain : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01984429

Soumis le : jeudi 17 janvier 2019-07:57:22

Dernière modification le : samedi 10 février 2024-03:07:41

Dates et versions

hal-01984429 , version 1 (17-01-2019)

Identifiants

HAL Id : hal-01984429 , version 1
DOI : 10.1016/j.jsc.2004.02.003

Citer

Claude Marché, Xavier Urbain. Modular and Incremental Proofs of AC-Termination. Journal of Symbolic Computation, 2004, 38 (1), pp.873-897. ⟨10.1016/j.jsc.2004.02.003⟩. ⟨hal-01984429⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS UMR8623 UNIV-PARIS-SACLAY

44 Consultations

0 Téléchargements

Modular and Incremental Proofs of AC-Termination

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager