Pages that link to "Item:Q4302336"
From MaRDI portal
The following pages link to Sketches and computation – I: basic definitions and static evaluation (Q4302336):
Displaying 12 items.
- Sketches and parametrization (Q1314408) (← links)
- Constructive rereading of Artin-Schreier theory (Q1382184) (← links)
- Sketches and computations over fields. (Q1565815) (← links)
- Detecting equivalence of modular specifications with categorical diagrams (Q1583247) (← links)
- Algebraic numbers: An example of dynamic evaluation (Q1892121) (← links)
- Computation algebras (Q2762624) (← links)
- Executable specifications for data-type constructors (Q3986951) (← links)
- Sketches and computation – II: dynamic evaluation and applications (Q4302337) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Dynamical method in algebra: Effective Nullstellensätze (Q5946086) (← links)