 |
 |
Conference papers
Polarized Rewriting and Tableaux in B Set Theory
Abstract : We propose and extension of the tableau-based first-order automated theorem prover Zenon Modulo to polarized rewriting. We introduce the framework and explain the potential benefits. The first target is an industrial benchmark composed of B Set Theory problems.
Cited literature [19 references]
https://hal-mines-paristech.archives-ouvertes.fr/hal-01820522
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Thursday, June 21, 2018 - 5:49:13 PM
Last modification on : Wednesday, November 17, 2021 - 12:33:04 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 8:55:43 PM
Contributor : Claire Medrala Connect in order to contact the contributor
Submitted on : Thursday, June 21, 2018 - 5:49:13 PM
Last modification on : Wednesday, November 17, 2021 - 12:33:04 PM
Long-term archiving on: : Tuesday, September 25, 2018 - 8:55:43 PM