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

researchr

You are not signed in
Sign in
Sign up

Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes, Uwe Waldmann. Superposition for Lambda-Free Higher-Order Logic. In Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, pages 28-46, Springer, 2018. [doi]

This author has not been identified. Look up 'Alexander Bentkamp' in GoogleThis author has not been identified. Look up 'Jasmin Christian 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