Recursion Structure Simplification

DOI10.1137/0204025zbMath0311.68030OpenAlexW2085338728MaRDI QIDQ4069774

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

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)

Related Items (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