The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
From MaRDI portal
Publication:3406685
DOI10.1093/logcom/exn061zbMath1193.03025OpenAlexW2135088169MaRDI QIDQ3406685
Björn Pelzer, Peter Baumgartner, Ulrich Furbach
Publication date: 19 February 2010
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exn061
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
On First-Order Model-Based Reasoning ⋮ Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover ⋮ Superposition for Bounded Domains ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Set of support, demodulation, paramodulation: a historical perspective
Uses Software
This page was built for publication: The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
