Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux

Authors
R.Hahnle
Citation
R.hahnle, Automated Reasoning With Analytic Tableaux: The Liberalized delta-Rule in Free Variable Semantic Tableaux, Journal of automated reasoning , 13(2), 1994, pp. 211-222
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
2
Year of publication
1994
Part
1
Pages
211 - 222
Database
ACNP
SICI code