No label defined (Q4202953)
From MaRDI portal
scientific article; zbMATH DE number 408808
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 408808 |
Statements
6 September 1993
0 references
Gentzen calculus in program synthesis
0 references
proof evaluation
0 references
sequent \(K\)- calculus
0 references
cut-elimination
0 references
