| |
| 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 | |
| 1 | David Ballard | [5] |
| 2 | Mauro Di Nasso | [7] |