scientific article; zbMATH DE number 1206045

MaRDI QIDQ4209086zbMATH OpenFDO

Authors Vladik Kreinovich

Publication date 9 November 1998

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• scientific article; zbMATH DE number 4043807
• scientific article; zbMATH DE number 4043809
• scientific article; zbMATH DE number 4043808
• A generalized iterative construct and its semantics
• scientific article; zbMATH DE number 1206047
• scientific article; zbMATH DE number 3862324
• The semantics of Hoare's iteration rule
• A semantics for hybrid iteration
• scientific article; zbMATH DE number 2070293
• scientific article; zbMATH DE number 1206046

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