A full formalization of SLD-resolution in the calculus of inductive constructions

DOI10.1023/A:1006242018697zbMath0943.68110MaRDI QIDQ1961920

M. Jaume

Publication date: 5 September 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

semantics of definite programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Uses Software

• Unnamed Item

This page was built for publication: A full formalization of SLD-resolution in the calculus of inductive constructions