Suprema of open and closed formulas and their application to resolution
From MaRDI portal
Publication:1891169
DOI10.1006/INCO.1995.1034zbMath0828.68044OpenAlexW2028735498MaRDI QIDQ1891169
Marco Bellia, M. Eugenia Occhiuto
Publication date: 28 May 1995
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1034
Related Items (1)
This page was built for publication: Suprema of open and closed formulas and their application to resolution
