scientific article; zbMATH DE number 3902023

MaRDI QIDQ3680265zbMATH OpenFDO

Authors Patrice Enjalbert

Publication date 1984

zbMATH Keywords

algebraic semanticsalgorithmic logiccontinuityfixed pointformal computation treesfunctions associated with programsorder relation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 17831
• scientific article; zbMATH DE number 177807
• scientific article; zbMATH DE number 1314231
• ^*-continuous Kleene -algebras
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• scientific article; zbMATH DE number 1303458
• ω-Forest Algebras and Temporal Logics.
• On semilattice-based logics with an algebraizable assertional companion
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

Cited in

(2)

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