Pages that link to "Item:Q690918"

The following pages link to \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918):

Displaying 2 items.

• Ambiguous representations of semilattices, imperfect information, and predicate transformers (Q781536) (← links)
• Rough games modeled via \(L\)-fuzzy ambiguous representations of semilattices (Q2035291) (← links)