Pages that link to "Item:Q801668"
From MaRDI portal
The following pages link to On the data type extension problem for algebraic specifications (Q801668):
Displaying 6 items.
- On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
- On the data type extension problem for algebraic specifications (Q801668) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- (Q4725723) (← links)
- Computer Science Logic (Q5292644) (← links)