Iztok Kavkler

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Andrej Bauer, Iztok Kavkler
A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Log. 159 (3) (2009)
Andrej Bauer, Iztok Kavkler
Implementing Real Numbers With RZ. Electron. Notes Theor. Comput. Sci. 202 (2008)
Vladimir Batagelj, Iztok Kavkler, Matija Lokar
Network Analysis of Repositories. LODE (2007)