Pages that link to "Item:Q1413645"
From MaRDI portal
The following pages link to An object-oriented interpretation of the EAT system (Q1413645):
Displayed 4 items.
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)
- Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
- Computing with locally effective matrices (Q5699915) (← links)