Automated Reasoning With Analytic Tableaux: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction

Authors
M.E.Stickel
Citation
M.e.stickel, Automated Reasoning With Analytic Tableaux: Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction, Journal of automated reasoning , 13(2), 1994, pp. 189-210
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
2
Year of publication
1994
Part
1
Pages
189 - 210
Database
ACNP
SICI code