The following pages link to Bernd Mahr (Q1158951):
Displayed 33 items.
- (Q792079) (redirect page) (← links)
- Characterizing specification languages which admit initial semantics (Q792080) (← links)
- Complexity of algebraic implementations for abstract data types (Q1158952) (← links)
- Algebraic implementation of abstract data types (Q1163361) (← links)
- (Q2719333) (← links)
- (Q3084837) (← links)
- (Q3219105) (← links)
- (Q3221381) (← links)
- (Q3315043) (← links)
- (Q3673087) (← links)
- (Q3682637) (← links)
- (Q3880807) (← links)
- (Q3885176) (← links)
- (Q3896501) (← links)
- (Q3902512) (← links)
- (Q3907092) (← links)
- (Q3944007) (← links)
- (Q3956380) (← links)
- (Q3995131) (← links)
- (Q4013986) (← links)
- (Q4133136) (← links)
- (Q4167581) (← links)
- (Q4182781) (← links)
- (Q4231110) (← links)
- (Q4430285) (← links)
- (Q4436364) (← links)
- (Q4437808) (← links)
- (Q4741699) (← links)
- (Q4790384) (← links)
- (Q4790385) (← links)
- Applications of type theory (Q5044747) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Formal Methods in Software and Systems Modeling (Q5710409) (← links)