Pages that link to "Item:Q3659115"
From MaRDI portal
The following pages link to The completeness of the algebraic specification methods for computable data types (Q3659115):
Displayed 9 items.
- Meadows and the equational specification of division (Q1006649) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On a conjecture of Bergstra and Tucker (Q1124321) (← links)
- Algebraic specifiability of data types with minimal computable parameters (Q1183572) (← links)
- A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
- Randnomness, computability, and algebraic specifications (Q1382180) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)