scientific article; zbMATH DE number 1533821

MaRDI QIDQ4517034zbMATH OpenFDO

Authors N. A. Kalinina, Zh. E. Khegaj

Publication date 20 November 2000

zbMATH Keywords

Boolean algebracomputer algebrasymbolic manipulations

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Grammars and rewriting systems (68Q42)

Recommendations

• System of transformations of certain representations of Boolean functions
• Minimization of Boolean functions in the basis OR-NOT (AND-NOT)
• Transformations of discrete functions calculation algorithms to Boolean equations
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 3864540

Cited in

(6)

• Transformations of discrete functions calculation algorithms to Boolean equations
• A tool for evaluating solution economy of algebraic transformations
• A mechanism of uncovering of quantifiers in Boolean variables
• How to augment a formal system with a Boolean algebra component
• FABULA
• scientific article; zbMATH DE number 474729 (Why is no real title available?)

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