Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

Authors
L.Difa
Citation
L.difa, Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving, Journal of automated reasoning , 18(1), 1997, pp. 105-134
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
1
Year of publication
1997
Pages
105 - 134
Database
ACNP
SICI code