Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
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


Files produced by the author(s)


  • HAL Id : hal-01820522, version 1
  • ARXIV : 1806.08536


Olivier Hermant. Polarized Rewriting and Tableaux in B Set Theory. 3RD INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2018), Jun 2018, Southampton, United Kingdom. pp.67-72. ⟨hal-01820522⟩



Les métriques sont temporairement indisponibles