Published in

Springer Verlag, Lecture Notes in Computer Science, p. 74-89

DOI: 10.1007/978-3-642-22673-1_6

Links

Tools

Export citation

Search in Google Scholar

View of Computer Algebra Data from Coq.

Proceedings article published in 2011 by Vladimir Komendantsky, Alexander Konovalov ORCID, Steve Linton
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO