A Constructive Algebraic Hierarchy in Coq - Concepedia

Concepedia

Publication | Open Access

A Constructive Algebraic Hierarchy in Coq

DOI Full Paper Access

65

Citations

7

References

2002

Year

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

Journal of Symbolic Computation

Algebraic LogicConstructive MathematicsAutomated ReasoningHigher-order LogicConstructive Algebraic Hierarchy

References

	Year	Citations

Page 1