Skip to Main content Skip to Navigation
Journal articles

Modular & Incremental Automated Termination Proofs

Xavier Urbain 1, 2
1 UP11 - Université Paris-Sud - Paris 11
2 LRI - Laboratoire de Recherche en Informatique
Keywords : modularity termination Automated deduction
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01984428
Contributor : Xavier Urbain <>
Submitted on : Thursday, January 17, 2019 - 7:49:10 AM
Last modification on : Wednesday, September 16, 2020 - 5:13:44 PM

Identifiers

  • HAL Id : hal-01984428, version 1

Collections

CNRS | UMR8623

Citation

Xavier Urbain. Modular & Incremental Automated Termination Proofs. Journal of Automated Reasoning, Springer Verlag, 2004, 32 (4), pp.315-355. ⟨hal-01984428⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

61

Données de recherche

doi: web.