A constructive algebraic hierarchy in Coq
SourceJournal of Symbolic Computation, 34, 4, (2002), pp. 271-286
Article / Letter to editor
Display more detailsDisplay less details
Journal of Symbolic Computation
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.