Article Dans Une Revue
Logic Journal of the IGPL
Année : 1995
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03241666
Soumis le : vendredi 28 mai 2021-21:02:24
Dernière modification le : vendredi 28 mai 2021-21:02:24
Citer
Jean Goubault. A BDD-Based Simplification and Skolemization Procedure. Logic Journal of the IGPL, 1995, 3 (6), pp.827-855. ⟨10.1093/jigpal/3.6.827⟩. ⟨hal-03241666⟩
11
Consultations
0
Téléchargements