Pages that link to "Item:Q4369896"
From MaRDI portal
The following pages link to Equational specifications, complete term rewriting systems, and computable and semicomputable algebras (Q4369896):
Displayed 5 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Meadows and the equational specification of division (Q1006649) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
- The data type variety of stack algebras (Q1891249) (← links)