| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009) |
| 2008 | ||
| 2 | | Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008) |
| 2007 | ||
| 1 | | Vladimir Batagelj, Iztok Kavkler, Matija Lokar: Network Analysis of Repositories. LODE 2007 |
| 1 | Vladimir Batagelj | [1] |
| 2 | Andrej Bauer | [2] [3] |
| 3 | Matija Lokar | [1] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page