No label defined (Q3730018)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1983
0 references
equivalence problem for formulas over algebraic structures
0 references
derivation problem for systems of term-rewrite rules
0 references
coNP-hard
0 references
lattices
0 references
Boolean algebras
0 references
formula minimization problem
0 references
