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
TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages	1978-01-01	Paper
The Complexity of Finite Memory Programs with Recursion	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
Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4125721	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Steven S. Muchnick