A Completeness Theorem for Straight-Line Programs with Structured Variables

DOI10.1145/321921.321940MaRDI QIDQ4089761zbMATH OpenOpenAlexFDO

Authors Christoph M. Hoffmann, Lawrence H. Landweber

Publication date 1976

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/321921.321940

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: A Completeness Theorem for Straight-Line Programs with Structured Variables

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