Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification

Authors
A.Voronkov
Citation
A.voronkov, Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification, Journal of automated reasoning , 21(2), 1998, pp. 205-231
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
2
Year of publication
1998
Pages
205 - 231
Database
ACNP
SICI code