scientific article; zbMATH DE number 3609098
From MaRDI portal
Publication:4174205
zbMath0392.68004MaRDI QIDQ4174205
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Intuitionistic mathematics (03F55)
Related Items (4)
A bridge between constructive logic and computer programming ⋮ The PRIZ system and propositional calculus ⋮ Semantics of algorithmic languages ⋮ Formal deduction with transfinite induction and its transformation for easier program synthesis
Uses Software
This page was built for publication:
