A bridge between constructive logic and computer programming

DOI10.1016/0304-3975(91)90310-XMaRDI QIDQ1179711zbMATH OpenOpenAlexFDO

Authors Nikolay N. Nepeivoda

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90310-x

zbMATH Keywords

programming conceptsapplied constructive logics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)

Recommendations

• scientific article; zbMATH DE number 177798
• Between constructive mathematics and PROLOG
• scientific article; zbMATH DE number 1023017
• scientific article; zbMATH DE number 4125400
• scientific article; zbMATH DE number 3936476
• scientific article; zbMATH DE number 587821
• scientific article; zbMATH DE number 3894466
• scientific article; zbMATH DE number 3850461
• Program Development in Computational Logic

Cites work

• scientific article; zbMATH DE number 4006263 (Why is no real title available?)
• scientific article; zbMATH DE number 3609098 (Why is no real title available?)
• scientific article; zbMATH DE number 3443157 (Why is no real title available?)
• scientific article; zbMATH DE number 3895058 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3403733 (Why is no real title available?)
• scientific article; zbMATH DE number 3197541 (Why is no real title available?)
• scientific article; zbMATH DE number 3092135 (Why is no real title available?)
• Algorithm = logic + control
• Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16--22, 1979
• Constructive mathematics and computer programming
• Justification of the structural synthesis of programs
• Linear logic
• Logical and algorithmic formalisms for the problem of correct program design
• On the interpretation of intuitionistic number theory

Cited in

(3)

• scientific article; zbMATH DE number 3887681 (Why is no real title available?)
• scientific article; zbMATH DE number 3850461 (Why is no real title available?)
• scientific article; zbMATH DE number 4133470 (Why is no real title available?)

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: A bridge between constructive logic and computer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1179711)