scientific article; zbMATH DE number 3609098

zbMATH Open0392.68004MaRDI QIDQ4174205FDOQ4174205

Authors: Nikolay N. Nepeivoda 

Publication date: 1978

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

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

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)