The following pages link to Reinhold Heckmann (Q265812):
Displaying 35 items.
- Quasicontinuous domains and the Smyth powerdomain (Q265813) (← links)
- Power domains and second-order predicates (Q685429) (← links)
- Similarity, topology, and uniformity (Q1044669) (← links)
- An efficient ELL(1)-parser generator (Q1060852) (← links)
- A computational model for metric spaces (Q1127525) (← links)
- Lower and upper power domain constructions commute on all cpos (Q1183424) (← links)
- Power domain constructions (Q1183553) (← links)
- Quantitative semantics, topology, and possibility measures (Q1295211) (← links)
- Approximation of metric spaces by partial metric spaces (Q1306708) (← links)
- Stable power domains (Q1349652) (← links)
- A non-topological view of dcpos as convergence spaces. (Q1427778) (← links)
- Contractivity of linear fractional transformations (Q1603893) (← links)
- (Q2738484) (← links)
- (Q2852360) (← links)
- New Developments in WCET Analysis (Q3593067) (← links)
- (Q3839072) (← links)
- (Q4038660) (← links)
- (Q4218936) (← links)
- (Q4222889) (← links)
- (Q4222968) (← links)
- (Q4261087) (← links)
- (Q4288288) (← links)
- (Q4373421) (← links)
- A functional description of T<sub>E</sub>X's formula layout (Q4376487) (← links)
- (Q4411967) (← links)
- (Q4499169) (← links)
- (Q4513581) (← links)
- (Q4813225) (← links)
- (Q4819380) (← links)
- (Q4853314) (← links)
- A Cartesian closed extension of the category of locales (Q5481591) (← links)
- Correct Hardware Design and Verification Methods (Q5493238) (← links)
- (Q5687236) (← links)
- Spatiality of countably presentable locales (proved with the Baire category theorem) (Q5740673) (← links)
- Probabilistic power domains, information systems, and locales (Q5890059) (← links)
