Proof Generalization in LK by Second Order Unifier Minimization
Domaines
Logique en informatique [cs.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01364000
Soumis le : mardi 30 août 2022-09:00:56
Dernière modification le : mercredi 18 décembre 2024-09:45:04