Dependent types for program termination verification (Q1850960)
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: Dependent types for program termination verification |
scientific article; zbMATH DE number 1845374
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dependent types for program termination verification |
scientific article; zbMATH DE number 1845374 |
Statements
Dependent types for program termination verification (English)
0 references
15 December 2002
0 references
termination
0 references
dependent types
0 references
0.90208924
0 references
0.8944388
0 references
0.8919294
0 references
0.8918697
0 references
0 references
0 references
