Practical coinduction (Q5361147)
From MaRDI portal
scientific article; zbMATH DE number 6780914
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Practical coinduction |
scientific article; zbMATH DE number 6780914 |
Statements
Practical coinduction (English)
0 references
27 September 2017
0 references
