scientific article; zbMATH DE number 4021109

MaRDI QIDQ3764133zbMATH OpenFDO

Authors Antonio Vincenzi

Publication date 1987

zbMATH Keywords

logics of programsprogramming logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory (03C99)

Cited in

(14)

• Programs and logics
• scientific article; zbMATH DE number 3848602 (Why is no real title available?)
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• scientific article; zbMATH DE number 3939323 (Why is no real title available?)
• scientific article; zbMATH DE number 3959379 (Why is no real title available?)
• scientific article; zbMATH DE number 3985194 (Why is no real title available?)
• scientific article; zbMATH DE number 4028889 (Why is no real title available?)
• scientific article; zbMATH DE number 4035104 (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 1941683 (Why is no real title available?)
• scientific article; zbMATH DE number 3995643 (Why is no real title available?)
• scientific article; zbMATH DE number 2108199 (Why is no real title available?)
• scientific article; zbMATH DE number 939032 (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 Q3764133)