Incremental termination proofs and the length of derivations (Q5055748)
From MaRDI portal
scientific article; zbMATH DE number 7631156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incremental termination proofs and the length of derivations |
scientific article; zbMATH DE number 7631156 |
Statements
Incremental termination proofs and the length of derivations (English)
0 references
9 December 2022
0 references
