Gentzen-Type Systems, Resolution and Tableaux

Authors
A.Avron
Citation
A.avron, Gentzen-Type Systems, Resolution and Tableaux, Journal of automated reasoning , 10(2), 1993, pp. 265-282
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
10
Issue
2
Year of publication
1993
Pages
265 - 282
Database
ACNP
SICI code