scientific article; zbMATH DE number 4133470

zbMATH Open0692.68009MaRDI QIDQ3034802FDOQ3034802

Authors: Nikolay N. Nepeivoda 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

functional programminglogical programming

Mathematics Subject Classification ID

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

Cited In (9)

• Calculus of task-constructive objects and their interpretations: II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intensive logical computation
• Die mathematischen Voraussetzungen für die Entwicklung logistisch‐kombinativer Rechenmaschinen
• Title not available (Why is that?)
• A Constructive Logic for Services and Information Flow in Computer Networks
• A tool for analysing logics

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)