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

Cached

Download Links

by Mathieu Jaume