The following pages link to Hubert Baumeister (Q2722036):
Displaying 7 items.
- (Q2722037) (← links)
- (Q2736338) (← links)
- (Q4413609) (← links)
- (Q4471907) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Global Computing (Q5464839) (← links)