Simply-typed underdeterminism (Q1273067)
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: Simply-typed underdeterminism |
scientific article; zbMATH DE number 1228835
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simply-typed underdeterminism |
scientific article; zbMATH DE number 1228835 |
Statements
Simply-typed underdeterminism (English)
0 references
2 December 1998
0 references
Henkin models
0 references
underdeterminism
0 references
stub
0 references
skeleton
0 references
top-down program development
0 references
program refinement
0 references
semantics
0 references
0 references
0 references
0 references
0.86597216
0 references
0.8648231
0 references
0.86457396
0 references
0 references
0 references
0 references
