scientific article; zbMATH DE number 16457

MaRDI QIDQ3973133zbMATH OpenFDO

Authors Dmitri O. Daderkin

Publication date 26 June 1992

zbMATH Keywords

deterministic regular programdynamic logicloop-free programtruth-table propertyweakly split unoid

Mathematics Subject Classification ID

Logic in computer science (03B70) Unary algebras (08A60) Semantics in the theory of computing (68Q55)

Recommendations

• The expressive unary truth functions of n-valued logic
• On the structures inside truth-table degrees
• scientific article; zbMATH DE number 4101152
• On the complexity of Boolean unification
• Uninorms and Non-contradiction
• Truth table logic, with a survey of embeddability results
• Publication:4726301
• On interpreting truth tables and relevant truth table logic
• Uninorms That Are Neither Conjunctive Nor Disjunctive on Bounded Lattices
• Unification in Boolean rings

Cited in

(2)

• The unwind property for programs with bounded memory
• scientific article; zbMATH DE number 4101152 (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 Q3973133)