[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Benutzer: Gast  Login
Sortieren nach:
und:
Mehr ...

Kunčar, Ondřej
Types, Abstraction and Parametric Polymorphism in Higher-Order Logic
2016
Dissertation
172 Seiten

Mehr ...

Noschinski, Lars
Formalizing Graph Theory and Planarity Certificates
2016
Dissertation
121 Seiten