𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit

✍ Scribed by Manfred Schmidt-Schauß

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
683 KB
Volume
22
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

Unification in the equational theory of one-sided distributivity and a multiplicative unit is shown to be decidable. The algorithm is a non-deterministic one that eventually uses a decision algorithm for string unification problems with constant restrictions, which was shown to be decidable by K. Schulz extending the decision algorithm for string unification by Makanin.

📜 SIMILAR VOLUMES

Multiplications of Distributions in One
Multiplications of Distributions in One Dimension and a First Application to Quantum Field Theory
✍ F. Bagarello 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 169 KB

In a previous paper we introduced a class of multiplications of distributions in one dimension. Here we furnish different generalizations of the original definition and we discuss some applications of these procedures to the multiplication of delta functions and to quantum field theory.  2002 Elsev

Orthogonal arrays and other combinatoria
Orthogonal arrays and other combinatorial aspects in the theory of uniform point distributions in unit cubes
✍ Harald Niederreiter 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 479 KB

## Niederreiter Harald, Orthogonal arrays and other combinatorial aspects in the theory of uniform point distributions in unit cubes, Discrete Mathematics 106/107 (1992) 361-367 We examine connections between low-discrepancy point sets in unit cubes and combinatorial notions such as orthogonal ar

Synthesis and electrochemical behaviour
Synthesis and electrochemical behaviour of a polymethacrylate with an azoanthraquinone unit in the side chain
✍ Michael Bernhard Leitner; Ralf Ruhmann; Jürgen Springer 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 468 KB

The synthesis of the model compounds 2-(4-methoxyphenylazo)anthraquinone (1) and 2-[4-(6-acetoxyhexyloxy)phenylazo]anthraquinone (2), the monomer 2-[4-(6-methacryloyloxyhexyloxy)phenylazo]anthraquinone (3) and the polymethacrylate poly-3 via radical polymerization of 3 is described. The electrochemi