Login
|
New Account
ITA
ENG
A Proof Procedure for the Logic of Hereditary Harrop Formulas
Authors
G.Nadathur
Citation
G.nadathur, A Proof Procedure for the Logic of Hereditary Harrop Formulas, Journal of automated reasoning , 11(1), 1993, pp. 115-146
Journal title
Journal of automated reasoning
→
ACNP
ISSN journal
01687433
Volume
11
Issue
1
Year of publication
1993
Pages
115 - 146
Database
ACNP
SICI code