scientific article; zbMATH DE number 3349332

MaRDI QIDQ5624684zbMATH OpenFDO

Authors E. E. Jun. Sibert

Publication date 1969

Mathematics Subject Classification ID

Cited in

(3)

• A resolution principle for constrained logics
• Linearity and regularity with negation normal form
• Conditional equational theories and complete sets of transformations

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 Q5624684)