lazyCoP: Lazy Paramodulation Meets Neurally Guided Search

von Rawso, Michael
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

A Combinator-Based Superposition Calculus for Higher-Order Logic

von Bhayat, Ahmed
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

A Knuth-Bendix-Like Ordering for Orienting Combinator Equations

von Bhayat, Ahmed
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Eliminating Models During Model Elimination

von Rawson, Michael
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)

A Polymorphic Vampire (Short Paper)

von Bhayat, Ahmed
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

Making Theory Reasoning Simpler

von Reger, Giles
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)

Frontiers of Combining Systems : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, proceedings

Veröffentlicht 2021

Runtime verification : 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings

Veröffentlicht 2017

ALASCA: Reasoning in Quantified Linear Arithmetic

von Korovin, Konstantin
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)