Davorin Lesnik

	2012
3		Andrej Bauer, Davorin Lesnik: Metric spaces in synthetic topology. Ann. Pure Appl. Logic 163(2): 87-100 (2012)
	2009
2		Davorin Lesnik: Constructive Urysohn Universal Metric Space. J. UCS 15(6): 1236-1263 (2009)
	2008
1		Davorin Lesnik: Constructive Urysohn's Universal Metric Space. Electr. Notes Theor. Comput. Sci. 221: 171-179 (2008)

Coauthor Index

1

Andrej Bauer

[3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page