Iztok Kavkler (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009)

2 Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008)

Selection of 2 from 3 records - Iztok Kavkler has 3 coauthors

3		Andrej Bauer, Iztok Kavkler: A constructive theory of continuous domains suitable for implementation. Ann. Pure Appl. Logic 159(3): 251-267 (2009)
2		Andrej Bauer, Iztok Kavkler: Implementing Real Numbers With RZ. Electr. Notes Theor. Comput. Sci. 202: 365-384 (2008)