Special issue on first-order theorem proving : [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 200...

Veröffentlicht 2012

Testing the Satisfiability of Formulas in Separation Logic with Permissions

von Peltier, Nicolas
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Unifying Decidable Entailments in Separation Logic with Inductive Definitions

von Echenim, Mnacho
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings

Automated reasoning

Veröffentlicht 2020

Automated reasoning

Veröffentlicht 2020

A Strict Constrained Superposition Calculus for Graphs

von Echahed, Rachid
Veröffentlicht in FOSSACS (26. : 2023 : Paris) Foundations of software science and computation structures (2023)