Pages that link to "Item:Q1137858"
From MaRDI portal
The following pages link to Partially additive categories and flow-diagram semantics (Q1137858):
Displaying 19 items.
- On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data (Q687200) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- The inverse semigroup of a sum-ordered semiring (Q800396) (← links)
- Probabilistic arithmetic. I: Numerical methods for calculating convolutions and dependency bounds (Q916336) (← links)
- Guard modules (Q1080645) (← links)
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- A class of fuzzy theories (Q1170604) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Effectuses from monads (Q1744385) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- The Uniformity Principle on Traced Monoidal Categories (Q2842820) (← links)
- 2-Absorbing Primary Subsemimodules Over Partial Semirings (Q5164534) (← links)
- Coherent differentiation (Q6149933) (← links)
