Automatizing termination proofs of recursively defined functions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 1994

Automatizing termination proofs of recursively defined functions

Pascal Manoury
  • Fonction : Auteur
  • PersonId : 829387
Preuves, Programmes et Systèmes
Simonot Marianne
  • Fonction : Auteur

Domaines

Logique en informatique [cs.LO]

Pascal Manoury  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00528475

Soumis le : jeudi 21 octobre 2010-19:22:42

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00528475 , version 1 (21-10-2010)

Identifiants

  • HAL Id : hal-00528475 , version 1

Citer

Pascal Manoury, Simonot Marianne. Automatizing termination proofs of recursively defined functions. Theoretical Computer Science, 1994, 135, pp 319-343. ⟨hal-00528475⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More