Automated proof construction in type theory using resolution (Q1868508)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated proof construction in type theory using resolution |
scientific article |
Statements
Automated proof construction in type theory using resolution (English)
0 references
27 April 2003
0 references
type theory
0 references
proof construction
0 references
resolution theorem proving
0 references
typed lambda calculus
0 references
