dblp.uni-trier.dewww.uni-trier.de

Karel Hrbacek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)