A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

Authors
M.Jaume
Citation
M.jaume, A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions, Journal of automated reasoning , 23(3/4), 1999, pp. 347-371
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
23
Issue
3/4
Year of publication
1999
Pages
347 - 371
Database
ACNP
SICI code