\textsf{Goéland}: a concurrent tableau-based theorem prover (system description)

DOI10.1007/978-3-031-10769-6_22MaRDI QIDQ2104525zbMATH OpenOpenAlexFDO

Authors Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde Lilia Bouziane

Publication date 7 December 2022

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-10769-6_22

zbMATH Keywords

concurrencyautomated theorem provingtableaux

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• scientific article; zbMATH DE number 3113496 (Why is no real title available?)
• scientific article; zbMATH DE number 3171967 (Why is no real title available?)
• scientific article; zbMATH DE number 4164187 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• scientific article; zbMATH DE number 1301855 (Why is no real title available?)
• scientific article; zbMATH DE number 1882065 (Why is no real title available?)
• A taxonomy of parallel strategies for deduction
• An Automation-Friendly Set Theory for the B Method
• Communicating sequential processes
• Depth-first iterative-deepening: An optimal admissible tree search
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• First-order tableau methods
• Handbook of parallel constraint reasoning
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Theorem proving modulo

Cited in

(2)

• The 11th IJCAR automated theorem proving system competition – CASC-J11
• Goeland

Describes a project that uses

Uses Software

• TPTP
• PARTHEO
• Easychair
• HOT
• DISCOUNT

This page was built for publication: \textsf{Goéland}: a concurrent tableau-based theorem prover (system description)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104525)