scientific article; zbMATH DE number 3954903

MaRDI QIDQ3724329zbMATH OpenFDO

Authors A. A. Chubaryan

Publication date 1982

zbMATH Keywords

Shannon functionscomparative complexities

Mathematics Subject Classification ID

Classical first-order logic (03B10) Complexity of proofs (03F20)

Recommendations

• scientific article; zbMATH DE number 4059392
• Complexity of deductions in a system of classical propositional calculus
• scientific article; zbMATH DE number 4087630
• scientific article; zbMATH DE number 15882
• scientific article; zbMATH DE number 1390276

Cited in

(15)

• How derivation modes and halting conditions may influence the computational power of P systems
• On complexity of statements and meaningful complexity of an axiomatic theory
• On derivability
• Complexity of deductions in a system of classical propositional calculus
• scientific article; zbMATH DE number 5788680 (Why is no real title available?)
• Putnam's theorem on the complexity of models
• scientific article; zbMATH DE number 3952747 (Why is no real title available?)
• scientific article; zbMATH DE number 3922641 (Why is no real title available?)
• scientific article; zbMATH DE number 815105 (Why is no real title available?)
• scientific article; zbMATH DE number 4039891 (Why is no real title available?)
• scientific article; zbMATH DE number 1533816 (Why is no real title available?)
• Rabin style speed-up of proofs. More generalized speed-up in the systems of first order logic
• Essential structure of proofs as a measure of complexity
• scientific article; zbMATH DE number 3950521 (Why is no real title available?)
• scientific article; zbMATH DE number 4059392 (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 Q3724329)