CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS

Abstract : The paper presents an algorithm for choosing an induction variable for "lazy' induction proofs.
Type de document :
Autre publication
Rapport de Recherche. 2015, pp.15
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01131271
Contributeur : Marta Franova <>
Soumis le : jeudi 26 mars 2015 - 10:11:34
Dernière modification le : jeudi 11 janvier 2018 - 06:27:13
Document(s) archivé(s) le : lundi 17 avril 2017 - 11:42:56

Fichier

RR1579.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01131271, version 1

Citation

Marta Franova, Yves Kodratoff. CHOOSING AN INDUCTION VARIABLE IN UNIVERSALLY QUANTIFIED ATOMIC FORMULAS. Rapport de Recherche. 2015, pp.15. 〈hal-01131271〉

Partager

Métriques

Consultations de la notice

103

Téléchargements de fichiers

52