Pages that link to "Item:Q5757936"
From MaRDI portal
The following pages link to Elementary Algebraic Specifications of the Rational Complex Numbers (Q5757936):
Displayed 6 items.
- A process calculus with finitary comprehended terms (Q385508) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Meadows and the equational specification of division (Q1006649) (← links)
- Division safe calculation in totalised fields (Q1015383) (← links)
- Equations for formally real meadows (Q2344368) (← links)
- Parallel Processes with Implicit Computational Capital (Q2870191) (← links)