Recursion Structure Simplification

DOI10.1137/0204025MaRDI QIDQ4069774zbMATH OpenOpenAlexFDO

Authors H. R. jun. Strong, Andrea Maggiolo-Schettini, Barry K. Rosen

Publication date 1975

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/0204025

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(1)

• The undecidability of a word problem: On a conjecture of Strong, Maggiolo-Schettini and Rosen

This page was built for publication: Recursion Structure Simplification

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