The following pages link to Hans-Dieter Ehrich (Q1054462):
Displaying 46 items.
- (Q759477) (redirect page) (← links)
- Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478) (← links)
- Algebraic domain equations (Q1054464) (← links)
- An operational semantics for specifications of abstract data types with error handling (Q1166919) (← links)
- Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. I: Datenstrukturen und Schemata (Q1213739) (← links)
- Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. II: Zugriffssysteme (Q1213740) (← links)
- On the storage space requirement of consecutive retrieval with redundancy (Q1226401) (← links)
- Specifying communication in distributed information systems (Q1977077) (← links)
- Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen (Q2554321) (← links)
- (Q2764106) (← links)
- (Q2785427) (← links)
- My ADT Shrine (Q2890319) (← links)
- (Q3341872) (← links)
- (Q3468602) (← links)
- (Q3668831) (← links)
- (Q3668832) (← links)
- (Q3707382) (← links)
- (Q3878743) (← links)
- (Q3888509) (← links)
- (Q3917478) (← links)
- (Q3917479) (← links)
- (Q3920619) (← links)
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types (Q3936177) (← links)
- (Q3953141) (← links)
- (Q3956382) (← links)
- (Q3993542) (← links)
- (Q4048574) (← links)
- (Q4105783) (← links)
- (Q4127985) (← links)
- (Q4136544) (← links)
- (Q4146237) (← links)
- (Q4160386) (← links)
- Extensions and implementations of abstract data type specifications (Q4160388) (← links)
- (Q4179800) (← links)
- (Q4187290) (← links)
- (Q4188716) (← links)
- (Q4400803) (← links)
- (Q4401060) (← links)
- (Q4702602) (← links)
- (Q4725723) (← links)
- Constructing systems as object communities (Q5044754) (← links)
- Object interaction (Q5096831) (← links)
- (Q5224783) (← links)
- (Q5611014) (← links)
- A Note on State Minimization of a Special Class of Incomplete Sequential Machines (Q5650321) (← links)
- Objects, Agents, and Features (Q5713980) (← links)
