Filter your results
- 5
- 3
- 2
- 5
- 1
- 2
- 2
- 5
- 5
- 5
- 5
- 2
- 1
- 5
- 4
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
5 Results
|
|
sorted by
|
|
A Comprehensive Framework for Saturation Theorem ProvingJournal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Journal articles
hal-03909983v1
|
||
|
A Comprehensive Framework for Saturation Theorem ProvingIJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Conference papers
hal-03106208v1
|
||
|
Superposition with LambdasJournal of Automated Reasoning, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
Journal articles
hal-03485185v1
|
||
|
A modular Isabelle framework for verifying saturation proversCPP 2021 - 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2021, Virtual, Denmark. pp.224-237, ⟨10.1145/3437992.3439912⟩
Conference papers
hal-03364015v1
|
||
|
On a Notion of RelevanceProceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers
hal-03141063v1
|