Conference Papers
Year : 1994
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03242184
Submitted on : Sunday, May 30, 2021-3:26:26 PM
Last modification on : Sunday, May 30, 2021-3:26:26 PM
Cite
Jean Goubault. Proving with BDDs and control of information. Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Jun 1994, Nancy, France. pp.499-513, ⟨10.1007/3-540-58156-1_36⟩. ⟨hal-03242184⟩
11
View
0
Download