scientific article; zbMATH DE number 3609098

MaRDI QIDQ4174205zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 1978

zbMATH Keywords

LispAlgol 68Deduction RulesHigher Level Algorithmic LanguagesIntuitionistic Calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65) Intuitionistic mathematics (03F55)

Cited in

(4)

• Formal deduction with transfinite induction and its transformation for easier program synthesis
• The PRIZ system and propositional calculus
• Semantics of algorithmic languages
• A bridge between constructive logic and computer programming

Describes a project that uses

Uses Software

• ALGOL 68

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