A Constructive Algebraic Hierarchy in Coq
- 1 October 2002
- journal article
- Published by Elsevier BV in Journal of Symbolic Computation
- Vol. 34 (4), 271-286
- https://doi.org/10.1006/jsco.2002.0552
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On the way to certify Computer Algebra SystemsElectronic Notes in Theoretical Computer Science, 1999
- Coercive subtypingJournal of Logic and Computation, 1999
- ConclusionsPublished by Oxford University Press (OUP) ,1995
- Ergänzung zu einer Arbeit von Hellmuth Kneser über den Fundamentalsatz der AlgebraMathematische Zeitschrift, 1981