HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

A BDD-Based Simplification and Skolemization Procedure

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-03241666
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Friday, May 28, 2021 - 9:02:24 PM
Last modification on : Friday, May 28, 2021 - 9:02:24 PM

Links full text

Identifiers

Citation

Jean Goubault. A BDD-Based Simplification and Skolemization Procedure. Logic Journal of the IGPL, Oxford University Press (OUP), 1995, 3 (6), pp.827-855. ⟨10.1093/jigpal/3.6.827⟩. ⟨hal-03241666⟩

Share

Metrics

Record views

9