No label defined (Q4375797)
From MaRDI portal
scientific article; zbMATH DE number 1114026
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1114026 |
Statements
8 July 1998
0 references
size of propositional proofs
0 references
string algebra
0 references
quantifier-free theory
0 references
