research
∙
01/31/2021
Superposition with Lambdas
We designed a superposition calculus for a clausal fragment of extension...
share
research
∙
05/05/2020
Superposition for Lambda-Free Higher-Order Logic
We introduce refutationally complete superposition calculi for intention...
research
∙
04/07/2019
