Liquid-Phase Heterogeneous Oxidation of Hydroxypivalaldehyde with Oxygen in Alkaline Aqueous Solution in the Presence of Supported Palladium Catalyst

The kinetics of a model reaction of hydroxypivalaldehyde oxidation with molecular oxygen in alkaline aqueous solution in the presence of 4% Pd/Al2O3 was studied with the aim of searching for promising heterogeneous catalysts for D-glucose oxidation.     

Upper Bounds on Height of Terms in a Solution of a Semiunification Problem

In this paper, we investigate a decidable case of the term semiunification problem. In our case, the arity of any functional symbol in terms equals one (with a possible exception for outer symbols of terms, for which no restrictions are imposed). We propose an algorithm constructing the most general solution of the semiunification problem. In addition, we prove an upper bound on the height of this solution; this upper bound is linear with respect to heights of terms in the initial problem. Our method reduces the problem for terms to a special system of equations in free semigroups and solves the latter system. Bibliography: 10 titles.