scientific article; zbMATH DE number 3954886

zbMATH Open0594.03021MaRDI QIDQ3724312FDOQ3724312

Authors: Daniele Mundici 

Publication date: 1984

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

Recommendations

• Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
• On the existence of polynomial time algorithms for interpolation problems in propositional logic
• scientific article; zbMATH DE number 3906484
• scientific article; zbMATH DE number 1390276
• The complexity of satisfiability problems

zbMATH Keywords

\(P=NP\) problemcomplexity of interpolants of tautological implications

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Interpolation, preservation, definability (03C40)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the existence of polynomial time algorithms for interpolation problems in propositional logic
• Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexity
• Preservation of Craig interpolation by the product of matrix logics
• Interpolants, cut elimination and flow graphs for the propositional calculus

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