Translation of first order formulas into ground formulas via a completion theory

From MaRDI portal
Publication:266881

DOI10.1016/J.JAL.2016.02.002zbMath1436.03100OpenAlexW2282901080MaRDI QIDQ266881

Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid

Publication date: 7 April 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.002




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Translation of first order formulas into ground formulas via a completion theory