Model Completeness, Uniform Interpolants and Superposition Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Model Completeness, Uniform Interpolants and Superposition Calculus. Journal of Automated Reasoning, 65(7):941-969, 2021. [doi]

This author has not been identified. Look up 'Diego Calvanese' in GoogleThis author has not been identified. Look up 'Silvio Ghilardi' in GoogleThis author has not been identified. Look up 'Alessandro Gianola' in GoogleThis author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Andrey Rivkin' in Google

runs on WebDSL