scientific article; zbMATH DE number 3855074

MaRDI QIDQ3323928zbMATH OpenFDO

Authors Yuichi Komori

Publication date 1983

zbMATH Keywords

weak logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited in

(5)

• scientific article; zbMATH DE number 6851056 (Why is no real title available?)
• Weak updates and separation logic
• Weak models of distributed computing, with connections to modal logic
• scientific article; zbMATH DE number 4147555 (Why is no real title available?)
• Weakly expressive models for Hoare logic

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