Automated Reasoning With Analytic Tableaux: Controller Integration of the Cut Rule into Connection Tableau Calculi

Authors
R.Lentz,K.Mayr,C.Goller
Citation
R.lentz,k.mayr,c.goller, Automated Reasoning With Analytic Tableaux: Controller Integration of the Cut Rule into Connection Tableau Calculi, Journal of automated reasoning , 13(3), 1994, pp. 297-338
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
3
Year of publication
1994
Part
2
Pages
297 - 338
Database
ACNP
SICI code