Skip to Main content Skip to Navigation
Journal articles

Modular & Incremental Automated Termination Proofs

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

Citation

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

Share

Metrics

Record views

61

Données de recherche

doi: web.