scientific article; zbMATH DE number 3995643

MaRDI QIDQ4723710zbMATH OpenFDO

Authors Antonio Vincenzi

Publication date 1985

zbMATH Keywords

semantic domaincomputer logiceffective logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 3995644
• scientific article; zbMATH DE number 4021109
• scientific article; zbMATH DE number 4091475
• Multi-valued Logics, Effectiveness and Domains
• Equivalences among logics of programs

Cited in

(2)

• Effectiveness and multivalued logics
• scientific article; zbMATH DE number 3995644 (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 Q4723710)