scientific article
From MaRDI portal
Publication:3730018
zbMath0596.68042MaRDI QIDQ3730018
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebraslatticescoNP-hardderivation problem for systems of term-rewrite rulesequivalence problem for formulas over algebraic structuresformula minimization problem
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Related Items