scientific article
From MaRDI portal
Publication:3818292
zbMath0666.03008MaRDI QIDQ3818292
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)
Related Items (9)
A resolution principle for constrained logics ⋮ AC-complete unification and its application to theorem proving ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Equational problems and disunification ⋮ Combination techniques and decision problems for disunification ⋮ Narrowing based procedures for equational disunification ⋮ A method for simultaneous search for refutations and models by equational constraint solving ⋮ Complete axiomatizations of some quotient term algebras ⋮ Combination techniques and decision problems for disunification
This page was built for publication:
