Bruce M. Horowitz

Available identifiers

zbMath Open horowitz.bruce-mMaRDI QIDQ1143391

List of research outcomes

Publication	Date of Publication	Type
Elementary formal systems as a framework for relative recursion theory	1982-01-01	Paper
An Isomorphism Type of Arithmetically Productive Sets	1982-01-01	Paper
Arithmetical Analogues of Productive and Universal Sets	1982-01-01	Paper
Constructively nonpartial recursive functions	1980-01-01	Paper
Sets Completely Creative Via Recursive Permutations	1978-01-01	Paper
The optimal adaptive control law for a linear plant with unknown input gains†	1970-01-01	Paper

Research outcomes over time

This page was built for person: Bruce M. Horowitz