The following pages link to (Q3854600):
Displaying 5 items.
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- Small specifications for large finite data structures (Q3922143) (← links)
