Proof Generalization in LK by Second Order Unifier Minimization - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Automated Reasoning Année : 2016

Proof Generalization in LK by Second Order Unifier Minimization

Fichier principal
Vignette du fichier
hal-version.pdf (464.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01364000 , version 1 (30-08-2022)

Identifiants

  • HAL Id : hal-01364000 , version 1

Citer

Thierry Boy de La Tour, Nicolas Peltier. Proof Generalization in LK by Second Order Unifier Minimization. Journal of Automated Reasoning, 2016, 57 (3), pp.245-280. ⟨hal-01364000⟩
80 Consultations
6 Téléchargements

Partager

Gmail Facebook X LinkedIn More