scientific article; zbMATH DE number 3851043

MaRDI QIDQ3320339zbMATH OpenFDO

Authors Peter Ecsedi-Toth, L. Turi

Publication date 1982

zbMATH Keywords

enumeration of interpolantsFloyd-Hoare method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Interpolation, preservation, definability (03C40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the existence of polynomial time algorithms for interpolation problems in propositional logic
• First-order interpolation and interpolating proof systems
• Foundations of Software Science and Computation Structures
• First-order interpolation derived from propositional interpolation
• Interpolants and Symbolic Model Checking

Cited in

(1)

• scientific article; zbMATH DE number 1944009 (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 Q3320339)