Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Chubarov, Dimitri
and
Voronkov, Andrei
2005.
Mechanizing Mathematical Reasoning.
Vol. 2605,
Issue. ,
p.
132.
Last updated 10th July 2024: Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident
Published online by Cambridge University Press: 12 March 2014
We prove that for a natural class of first-order formulas the validity problem is -complete.