Correctness and availability : building computer algebra on top of proof assistants and making proof assistants available over the Web

Thumbnail
Fulltext:
75399.pdf
Size:
1.766Mb
Format:
PDF
Description:
Publisher’s version
Disclaimer:
In case you object to the disclosure of your thesis, you can contact repository@ubn.ru.nl
Download
Publication year
2009
Author(s)
Kaliszyk, C.S.
Publisher
S.l : s.n.
Series
2009:18
ISBN
9789090244440
Number of pages
141 p.
Annotation
Radboud Universiteit Nijmegen, 03 september 2009
Promotor : Geuvers, J.H. Co-promotor : Wiedijk, F.
Publication type
Dissertation
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/75399   https://hdl.handle.net/2066/75399
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.