\(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (Q690918)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | \(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates |
scientific article |
Statements
\(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates (English)
0 references
29 November 2012
0 references
monotonic predicate
0 references
strongest postcondition
0 references
linear operator
0 references
idempotent semimodule
0 references
0 references
0 references
0.7833358645439148
0 references
0.6995983123779297
0 references
0.6984313130378723
0 references
0.69765704870224
0 references
