scientific article; zbMATH DE number 3954902

zbMATH Open0594.03037MaRDI QIDQ3724328FDOQ3724328

Authors: M. A. Khachatryan 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

disjunctionassociativityconjunction

Mathematics Subject Classification ID

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

Cited In (5)

• Existence of simple propositional formulas
• On the computational complexity of finding hard tautologies
• Title not available (Why is that?)
• Counting complexity of propositional abduction
• 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)