Modular and Incremental Proofs of AC-Termination - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Journal of Symbolic Computation Année : 2004

Modular and Incremental Proofs of AC-Termination

Dates et versions

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

Identifiants

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⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More