scientific article; zbMATH DE number 3954902

MaRDI QIDQ3724328zbMATH OpenFDO

Authors M. A. Khachatryan

Publication date 1982

zbMATH Keywords

disjunctionassociativityconjunction

Mathematics Subject Classification ID

Classical propositional logic (03B05) Complexity of proofs (03F20)

Cited in

(5)

• Existence of simple propositional formulas
• Counting complexity of propositional abduction
• On the computational complexity of finding hard tautologies
• scientific article; zbMATH DE number 5263419 (Why is no real title available?)
• On meta complexity of propositional formulas and propositional proofs

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