The following pages link to (Q4218936):
Displaying 6 items.
- A decomposition theorem for maxitive measures (Q550670) (← links)
- \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)
- Ambiguous representations of semilattices, imperfect information, and predicate transformers (Q781536) (← links)
- Basic concepts of quantale-enriched topologies (Q825979) (← links)
- A non-topological view of dcpos as convergence spaces. (Q1427778) (← links)
- Rough games modeled via \(L\)-fuzzy ambiguous representations of semilattices (Q2035291) (← links)
