No label defined (Q4218931)
From MaRDI portal
scientific article; zbMATH DE number 1223620
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1223620 |
Statements
19 April 1999
0 references
extraction of the constructive content from a non-constructive proof
0 references
termination proof
0 references
string-rewriting system
0 references
Type Theory
0 references
generalized inductive definitions
0 references
