scientific article; zbMATH DE number 4133470

MaRDI QIDQ3034802zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1988

zbMATH Keywords

functional programminglogical programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 4201592
• scientific article; zbMATH DE number 3887681
• A bridge between constructive logic and computer programming
• Publication:3032225
• scientific article; zbMATH DE number 16511

Cited in

(9)

• A Constructive Logic for Services and Information Flow in Computer Networks
• A tool for analysing logics
• Calculus of task-constructive objects and their interpretations: II
• Intensive logical computation
• scientific article; zbMATH DE number 2000436 (Why is no real title available?)
• scientific article; zbMATH DE number 4116014 (Why is no real title available?)
• scientific article; zbMATH DE number 77950 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• Die mathematischen Voraussetzungen für die Entwicklung logistisch‐kombinativer Rechenmaschinen

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