scientific article
From MaRDI portal
Publication:3880322
zbMath0438.68052MaRDI QIDQ3880322
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Algorithms in computer science (68W99) Software, source code, etc. for problems pertaining to computer science (68-04) Proof theory and constructive mathematics (03F99)
Related Items (11)
History and basic features of the critical-pair/completion procedure ⋮ Constructive system for automatic program synthesis ⋮ Proof normalization with nonstandard objects ⋮ Semantics of algorithmic languages ⋮ Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ Extracting Lisp programs from constructive proofs: A formal theory of constructive mathematics based on Lisp ⋮ Programs as proofs: A synopsis ⋮ A proof description language and its reduction system ⋮ Extraction of redundancy-free programs from constructive natural deduction proofs ⋮ \(QPC_ 2\): A constructive calculus with parameterized specifications
This page was built for publication:
