No label defined (Q5020970)
From MaRDI portal
scientific article; zbMATH DE number 7455712
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7455712 |
Statements
11 January 2022
0 references
combinatorial generation of provable formulas of a given size
0 references
intuitionistic and linear logic theorem provers
0 references
theorems of the implicational fragment of propositional linear intuitionistic logic
0 references
Curry-Howard isomorphism
0 references
efficient generation of linear lambda terms in normal form
0 references
prolog programs for lambda term generation and theorem proving
0 references
0 references
