scientific article; zbMATH DE number 3513309

MaRDI QIDQ4092959zbMATH OpenFDO

Authors Peter Raulefs

Publication date 1975

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4092959)