Inference rules using local contexts
- 1 December 1988
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 4 (4) , 445-462
- https://doi.org/10.1007/bf00297249
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Proof TheoryPublished by Springer Nature ,1977