Consistency and Completeness of Rewriting in the Calculus of Constructions (Q5900438)
From MaRDI portal
scientific article; zbMATH DE number 5365480
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consistency and Completeness of Rewriting in the Calculus of Constructions |
scientific article; zbMATH DE number 5365480 |
Statements
Consistency and Completeness of Rewriting in the Calculus of Constructions (English)
0 references
13 November 2008
0 references
adding of rewrite rules
0 references
logical consistency
0 references
canonicity
0 references
pattern matching
0 references
