Karel Hrbacek

	2003
7		Mauro Di Nasso, Karel Hrbacek: Combinatorial principle in nonstandard analysis. Ann. Pure Appl. Logic 119(1-3): 265-293 (2003)
	2001
6		Karel Hrbacek: Realism, nonstandard set theory, and large cardinals. Ann. Pure Appl. Logic 109(1-2): 15-48 (2001)
	1992
5		David Ballard, Karel Hrbacek: Standard Foundations for Nonstandard Analysis. J. Symb. Log. 57(2): 741-748 (1992)
	1989
4		Karel Hrbacek: Convex Powerdomains II Inf. Comput. 81(3): 290-317 (1989)
	1987
3		Karel Hrbacek: A Powerdomain Construction. MFPS 1987: 200-212
2		Karel Hrbacek: Convex Powerdomains I Inf. Comput. 74(3): 198-225 (1987)
	1985
1		Karel Hrbacek: Powerdomains as Algebraic Lattices (Preliminary Report). ICALP 1985: 281-289

Coauthor Index

1	David Ballard	[5]
2	Mauro Di Nasso	[7]

Colors in the list of coauthors