scientific article; zbMATH DE number 1324441
From MaRDI portal
zbMath0920.08001MaRDI QIDQ4255512
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Mechanization of proofs and logical operations (03B35) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05)
Related Items
Non-disjoint combined unification and closure by equational paramodulation, More problems in rewriting, Combination of constraint solving techniques: An algebraic point of view, Problems in rewriting III, Combination of constraint solvers for free and quasi-free structures, Combination techniques for non-disjoint equational theories, Unions of non-disjoint theories and combinations of satisfiability procedures
