Coq formalization of the higher-order recursive path ordering
Number of pages
SourceApplicable Algebra in Engineering, Communication and Computing, 20, 5-6, (2009), pp. 379-425
Article / Letter to editor
Display more detailsDisplay less details
Applicable Algebra in Engineering, Communication and Computing
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.