scientific article
From MaRDI portal
Publication:3789063
zbMath0645.68045MaRDI QIDQ3789063
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebrasPost algebrasunification algorithmsmatrix rings over finite fieldsUnification in primal algebrasvarieties of primal algebras
Abstract data types; algebraic specification (68Q65) Operations and polynomials in algebraic structures, primal algebras (08A40)
Related Items (2)
Symbolic constraint handling through unification in finite algebras ⋮ Boolean unification - the story so far
This page was built for publication:
