scientific article; zbMATH DE number 4028889

MaRDI QIDQ3769956zbMATH OpenFDO

Authors László Csirmaz

Publication date 1986

zbMATH Keywords

equivalence problemlogic of programsnonstandard logicwhile program

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3846863
• Equivalences among logics of programs
• STRUCTURED NONSTANDARD DYNAMIC LOGIC
• scientific article; zbMATH DE number 3852428
• scientific article; zbMATH DE number 4021109

Cited in

(6)

• Non-Horn clause logic programming without contrapositives
• Weak second order characterizations of various program verification systems
• The role of standardising apart in logic programming
• Recursive programs and denotational semantics in absolute logics of programs
• STRUCTURED NONSTANDARD DYNAMIC LOGIC
• scientific article; zbMATH DE number 4123706 (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 Q3769956)