The following pages link to (Q5144649):
Displaying 16 items.
- Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy) (Q1088655) (← links)
- (Q3509173) (← links)
- (Q4412246) (← links)
- Quantifier Free Definability on Infinite Algebras (Q4635936) (← links)
- On the axioms of singquandles (Q5057320) (← links)
- Finitary monads on the category of posets (Q5068206) (← links)
- Metric monads (Q5076388) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- An axiomatic approach to algebrization (Q5172767) (← links)
- (Q5875342) (← links)
- Divergences on monads for relational program logics (Q6149935) (← links)
- The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- Varieties of quantitative algebras and their monads (Q6649438) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)