scientific article; zbMATH DE number 3848602

MaRDI QIDQ3318103zbMATH OpenFDO

Authors Slavian Radev

Publication date 1983

zbMATH Keywords

completenessprogramming logicsemantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models of other mathematical theories (03C65) Abstract data types; algebraic specification (68Q65)

Recommendations

• On the completeness of propositional Hoare logic
• scientific article; zbMATH DE number 3939323
• scientific article; zbMATH DE number 4021109
• scientific article; zbMATH DE number 1354108
• Publication:4730807

Cited in

(22)

• A view of programming languages as symbiosis of meaning and computations
• Some results and experiments in programming techniques for propositional logic
• A calculus of propositional properties of programs
• Diversification of object-languages for propositional logics
• Program schemata technique for propositional program logics: a 30-year history
• The satisfiability of logical formula in proof of program
• Declarative programming: a logical view
• scientific article; zbMATH DE number 3872671 (Why is no real title available?)
• The Böhm–Jacopini Theorem Is False, Propositionally
• scientific article; zbMATH DE number 3935012 (Why is no real title available?)
• scientific article; zbMATH DE number 3939323 (Why is no real title available?)
• scientific article; zbMATH DE number 3985194 (Why is no real title available?)
• scientific article; zbMATH DE number 4021109 (Why is no real title available?)
• scientific article; zbMATH DE number 4091475 (Why is no real title available?)
• scientific article; zbMATH DE number 41849 (Why is no real title available?)
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• scientific article; zbMATH DE number 1354108 (Why is no real title available?)
• scientific article; zbMATH DE number 569780 (Why is no real title available?)
• scientific article; zbMATH DE number 4116014 (Why is no real title available?)
• scientific article; zbMATH DE number 871157 (Why is no real title available?)
• scientific article; zbMATH DE number 1420805 (Why is no real title available?)
• Computable compositions and universal program logics

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