scientific article; zbMATH DE number 4089535

MaRDI QIDQ3818307zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1988

zbMATH Keywords

completenessconstructive logic of program schematageneralized calculus of natural deductionrealizability by program schemata

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4053610
• scientific article; zbMATH DE number 4004179
• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 4201592
• On Uniformly Constructive and Semiconstructive Formal Systems

Cited in

(5)

• scientific article; zbMATH DE number 4142010 (Why is no real title available?)
• scientific article; zbMATH DE number 4053610 (Why is no real title available?)
• scientific article; zbMATH DE number 1499099 (Why is no real title available?)
• On Uniformly Constructive and Semiconstructive Formal Systems
• Semantics and completeness for schematic 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 Q3818307)