Interpolation theorems for program schemata (Q4144176)
From MaRDI portal
scientific article; zbMATH DE number 3573237
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolation theorems for program schemata |
scientific article; zbMATH DE number 3573237 |
Statements
Interpolation theorems for program schemata (English)
0 references
1978
0 references
