Computer programming and formal systems
From MaRDI portal
Publication:1130614
zbMath0108.13402MaRDI QIDQ1130614
No author found.
Publication date: 1963
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Related Items (7)
Relevance of computer science to linguistics and vice versa ⋮ The upper density of an automatic set is rational ⋮ A consistent semantics of self-adjusting computation ⋮ Singular and plural functions for functional logic programming ⋮ Rewriting and narrowing for constructor systems with call-time choice semantics ⋮ The inclusion of the substitution closure of linear and one-counter languages in the largest sub-AFL of the family of algebraic languages is proper ⋮ Subrecursive programming languages. II. On program size
This page was built for publication: Computer programming and formal systems
