Making Higher-Order Superposition Work - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret. Making Higher-Order Superposition Work. Journal of Automated Reasoning, 66(4):541-564, 2022. [doi]

This author has not been identified. Look up 'Petar Vukmirovic' in GoogleThis 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 'Visa Nummelin' in GoogleThis author has not been identified. Look up 'Sophie Tourret' in Google

runs on WebDSL