Concepedia

Publication | Open Access

Model Completeness, Uniform Interpolants and Superposition Calculus

DOIFull Paper Access

12

Citations

32

References

2021

Year

Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Journal of Automated Reasoning

References

YearCitations

Page 1