| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 8 |      | Petr Andreev, Karel Hrbacek: Standard sets in nonstandard set theory. J. Symb. Log. 69(1): 165-182 (2004) |
| 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 | Petr Andreev | [8] |
| 2 | David Ballard | [5] |
| 3 | Mauro Di Nasso | [7] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page