Equations, Contractions, and Unique Solutions (Q5278202)
From MaRDI portal
scientific article; zbMATH DE number 6744586
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equations, Contractions, and Unique Solutions |
scientific article; zbMATH DE number 6744586 |
Statements
Equations, Contractions, and Unique Solutions (English)
0 references
13 July 2017
0 references
bisimulation
0 references
coinduction
0 references
contraction
0 references
equations
0 references
unique solution
0 references
