scientific article; zbMATH DE number 3633706
From MaRDI portal
Publication:4194452
zbMath0407.68041MaRDI QIDQ4194452
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LispHeyting ArithmeticProgram SynthesisGoedel's Dialectica InterpretationHeyting-ArithmeticPrimitive Recursive FunctionalQuotient-Remainder-Theorem
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Intuitionistic mathematics (03F55)
Related Items (1)
This page was built for publication:
