Journal Articles
Logic Journal of the IGPL
Year : 1995
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03241666
Submitted on : Friday, May 28, 2021-9:02:24 PM
Last modification on : Friday, May 28, 2021-9:02:24 PM
Cite
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⟩
10
View
0
Download