The following pages link to Horst Reichel (Q585249):
Displaying 29 items.
- Equational partiality (Q585250) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- (Q2722035) (← links)
- (Q3037523) (← links)
- (Q3337524) (← links)
- (Q3346382) (← links)
- (Q3659114) (← links)
- (Q3661642) (← links)
- (Q3725523) (← links)
- (Q3757373) (← links)
- (Q3773301) (← links)
- (Q3817581) (← links)
- (Q3880993) (← links)
- (Q3923580) (← links)
- (Q3938468) (← links)
- (Q3954793) (← links)
- (Q4178511) (← links)
- (Q4222960) (← links)
- (Q4702593) (← links)
- (Q4702595) (← links)
- (Q4725725) (← links)
- An approach to object semantics based on terminal co-algebras (Q4856658) (← links)
- (Q4896923) (← links)
- (Q5577124) (← links)
- Kanonische Zerlegung von Funktoren (Q5577127) (← links)
- Zur algebraischen Begründung der Graphentheorie. III (Q5617554) (← links)
- (Q5682937) (← links)
- An Algebraic Approach to Regular Sets (Q5757922) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900832) (← links)
