Superposition for Lambda-Free Higher-Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann. Superposition for Lambda-Free Higher-Order Logic. Logical Methods in Computer Science, 17(2), 2021. [doi]

This author has not been identified. Look up 'Alexander Bentkamp' in GoogleThis author has not been identified. Look up 'Jasmin Blanchette' in GoogleThis author has not been identified. Look up 'Simon Cruanes' in GoogleThis author has not been identified. Look up 'Uwe Waldmann' in Google

runs on WebDSL