Polarized Rewriting and Tableaux in B Set Theory - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Polarized Rewriting and Tableaux in B Set Theory

(1, 2)
1
2

Résumé

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.
Vignette du fichier
E-437-slides.pdf (670.09 Ko) Télécharger le fichier Fichier principal
Vignette du fichier
main.pdf (104.12 Ko) Télécharger le fichier
Format : Présentation
Commentaire : SLIDES de la présentation à la conférence
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01820522 , version 1 (21-06-2018)

Identifiants

Citer

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⟩
64 Consultations
29 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More