Modular & Incremental Automated Termination Proofs - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Article Dans Une Revue Journal of Automated Reasoning Année : 2004
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01984428 , version 1

Citer

Xavier Urbain. Modular & Incremental Automated Termination Proofs. Journal of Automated Reasoning, 2004, 32 (4), pp.315-355. ⟨hal-01984428⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More