Article Dans Une Revue
Journal of Automated Reasoning
Année : 2004
Xavier Urbain : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01984428
Soumis le : jeudi 17 janvier 2019-07:49:10
Dernière modification le : samedi 10 février 2024-03:07:41
Dates et versions
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⟩
Collections
28
Consultations
0
Téléchargements