The following pages link to (Q4195975):
Displaying 7 items.
- A systematic study of models of abstract data types (Q801667) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Pebble, a kernel language for modules and abstract data types (Q1104071) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Mixed computation: potential applications and problems for study (Q1169808) (← links)
- Stack and locally finite transformations on structures with reversible transitions (Q3332226) (← links)
