Picture for Uwe Waldmann

Uwe Waldmann

Superposition with Lambdas

Add code
Jan 31, 2021
Figure 1 for Superposition with Lambdas
Viaarxiv icon

Superposition for Lambda-Free Higher-Order Logic

Add code
May 05, 2020
Figure 1 for Superposition for Lambda-Free Higher-Order Logic
Figure 2 for Superposition for Lambda-Free Higher-Order Logic
Viaarxiv icon