scientific article; zbMATH DE number 3759535

MaRDI QIDQ3942385zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1979

zbMATH Keywords

program correctnessprogram constructionintuitionistic predicate calculusautomatic construction of correct programsfuzzy sets as models for programming languagesindeterminacy of program semanticsintuitionistic theory of models

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65) Intuitionistic mathematics (03F55)

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