Search the dblp DataBase
Karel Hrbacek :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Karel Hrbacek Powerdomains as Algebraic Lattices (Preliminary Report). [Citation Graph (0, 0)][DBLP ] ICALP, 1985, pp:281-289 [Conf ] Karel Hrbacek A Powerdomain Construction. [Citation Graph (0, 0)][DBLP ] MFPS, 1987, pp:200-212 [Conf ] Karel Hrbacek Realism, nonstandard set theory, and large cardinals. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2001, v:109, n:1-2, pp:15-48 [Journal ] Mauro Di Nasso , Karel Hrbacek Combinatorial principle in nonstandard analysis. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2003, v:119, n:1-3, pp:265-293 [Journal ] Karel Hrbacek Convex Powerdomains I [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1987, v:74, n:3, pp:198-225 [Journal ] Karel Hrbacek Convex Powerdomains II [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1989, v:81, n:3, pp:290-317 [Journal ] David Ballard , Karel Hrbacek Standard Foundations for Nonstandard Analysis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:2, pp:741-748 [Journal ] Search in 0.001secs, Finished in 0.001secs