scientific article; zbMATH DE number 3530942
From MaRDI portal
Publication:4107887
zbMath0339.68003MaRDI QIDQ4107887
Andrea Maggiolo-Schettini, Giorgio Germano
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01) Computability and recursion theory (03D99)
Related Items (3)
Computable stack functions for semantics of stack programs ⋮ Sequence recursiveness without cylindrification and limited register machines ⋮ Proving a compiler correct: A simple approach
This page was built for publication:
