Developing the algebraic hierarchy with type classes in Coq

Autor:	Spitters, B.A.W., Weegen, E.E. van der, Kaufmann, M.
Přispěvatelé:	Kaufmann, M.
Rok vydání:	2010
Předmět:	Data Science Lecture notes in computer science Digital Security
Zdroj:	Lecture notes in computer science ; 6172, 490-493. Berlin : Springer STARTPAGE=490;ENDPAGE=493;TITLE=Lecture notes in computer science ; 6172 Kaufmann, M. (ed.), Interactive Theorem Proving : first International Conference on Interactive Theorem Proving, ITP 2010; Edinburgh; 11 July 2010 through 14 July 2010; proceedings, pp. 490-493
Popis:	Contains fulltext : 83812.pdf (Publisher’s version ) (Closed access)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::33895ef415ab27561d9bfe225c599210 https://hdl.handle.net/2066/83812 Zobrazit plný text záznamu