Pages that link to "Item:Q1050767"
From MaRDI portal
The following pages link to On hierarchies of abstract data types (Q1050767):
Displaying 15 items.
- A systematic study of models of abstract data types (Q801667) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Crypt-equivalent algebraic specifications (Q1095646) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Partial abstract types (Q1169290) (← links)
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- (Q3197342) (← links)
- Implementing Services by Partial State Machines (Q3599077) (← links)
- First order data types and first order logic (Q5096240) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- A calculus for conditional inductive theorem proving (Q5881199) (← links)
