Gentzen-type systems, resolution and tableaux
- 1 January 1993
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 10 (2) , 265-281
- https://doi.org/10.1007/bf00881838
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Simple consequence relationsInformation and Computation, 1991
- Automated Theorem ProvingPublished by Springer Nature ,1982