Steven S. Muchnick

Available identifiers

zbMath Open muchnick.steven-sMaRDI QIDQ1249937

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3922128	1981-01-01	Paper
The Complexity of Finite Memory Programs with Recursion	1978-01-01	Paper
TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages	1978-01-01	Paper
Even Simple Programs Are Hard To Analyze	1977-01-01	Paper
Computational Complexity of Multiple Recursive Schemata	1976-01-01	Paper
The Vectorized Grzegorczyk Hierarchy	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134928	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125721	1972-01-01	Paper
Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems	1972-01-01	Paper

Research outcomes over time

This page was built for person: Steven S. Muchnick