scientific article; zbMATH DE number 3841275

MaRDI QIDQ3311709zbMATH OpenFDO

Authors Ivan Kramosil

Publication date 1983

zbMATH Keywords

approximative verification proceduresautomated verification of propositional formulas

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Analysis of algorithms and problem complexity (68Q25)

Cited in

(2)

• scientific article; zbMATH DE number 3863188 (Why is no real title available?)
• scientific article; zbMATH DE number 4201596 (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 Q3311709)