scientific article
From MaRDI portal
Publication:3318766
zbMath0535.03023MaRDI QIDQ3318766
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
normal form theoremenumeration theoremfirst recursion theoremiterative operatory spacerecursion- elimination algorithm for program schemes with two counterssystem of Scott and de Bakker
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Abstract and axiomatic computability and recursion theory (03D75)
This page was built for publication:
