Reflexive transitive invariant relations: A basis for computing loop functions (Q604384)
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: Reflexive transitive invariant relations: A basis for computing loop functions |
scientific article; zbMATH DE number 5814768
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reflexive transitive invariant relations: A basis for computing loop functions |
scientific article; zbMATH DE number 5814768 |
Statements
Reflexive transitive invariant relations: A basis for computing loop functions (English)
0 references
10 November 2010
0 references
function extraction
0 references
loop functions
0 references
invariant assertions
0 references
invariant relations
0 references
invariant functions
0 references
relational calculus
0 references
refinement calculus
0 references
computing loop behavior
0 references
0 references
0.8885717391967773
0 references
0.8576923608779907
0 references
0.8388577699661255
0 references
0.7662233114242554
0 references
0.7260987758636475
0 references
