Pages that link to "Item:Q2838684"

The following pages link to The Semantics of wlp and slp of Fuzzy Imperative Programming Languages (Q2838684):

Displaying 1 item.

• \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918) (← links)