Pages that link to "Item:Q1183753"
From MaRDI portal
The following pages link to Program schemata with monotone operators (Q1183753):
Displaying 9 items.
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time (Q875512) (← links)
- Compositions of programs that induce special monotonic functions (Q1091118) (← links)
- Decidability of equivalence in the set of program schema with monotonic and partially commutative operators (Q1183814) (← links)
- Equivalent transformations in the model of programs with commuting and monotone operators (Q1403259) (← links)
- Formal models and free program schemata (Q1817131) (← links)
- Equivalence of conservative, free, linear program schemas is decidable (Q1853616) (← links)
- Algebraic-grammatical models of parallel computation (Q1910963) (← links)
- Program schemes with constants (Q2432964) (← links)
- The Algorithmic Transformation of Schemas to Structured Form (Q3742696) (← links)