scientific article; zbMATH DE number 3591948

MaRDI QIDQ4159023zbMATH OpenFDO

Authors Michael M. Richter

Publication date 1978

Mathematics Subject Classification ID

Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Logical aspects of Boolean algebras (03G05) Logical aspects of lattices and related structures (03G10) Quantum logic (03G12)

Cited in

(3)

• The equational theory of parameterized specifications
• Unification in a combination of arbitrary disjoint equational theories
• A generalization of the zero-one principle for sorting algorithms

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4159023)