Superposition with Lambdas.

Alexander Bentkamp Jasmin Blanchette Sophie Tourret Petar Vukmirovic Uwe Waldmann

Published in: J. Autom. Reason. (2021)

Keyphrases

theorem proving
databases
data analysis
computer vision
image processing
image sequences
fuzzy logic