Proof-search in type-theoretic languages: An introduction (Q1575935)
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: Proof-search in type-theoretic languages: An introduction |
scientific article; zbMATH DE number 1495210
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-search in type-theoretic languages: An introduction |
scientific article; zbMATH DE number 1495210 |
Statements
Proof-search in type-theoretic languages: An introduction (English)
0 references
23 August 2000
0 references
proof-objects
0 references
proof-search
0 references
type-theoretic languages
0 references
logical frameworks
0 references
0 references
0 references
0.98582387
0 references
0.92971414
0 references
0 references
0.9145689
0 references
0.91287595
0 references
0.91182166
0 references
0.90618944
0 references
