Bruce M. Horowitz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Elementary formal systems as a framework for relative recursion theory Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
| An Isomorphism Type of Arithmetically Productive Sets Mathematical Logic Quarterly | 1982-01-01 | Paper |
| Arithmetical Analogues of Productive and Universal Sets Mathematical Logic Quarterly | 1982-01-01 | Paper |
| Constructively nonpartial recursive functions Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
| Sets Completely Creative Via Recursive Permutations Mathematical Logic Quarterly | 1978-01-01 | Paper |
| The optimal adaptive control law for a linear plant with unknown input gains† International Journal of Control | 1970-01-01 | Paper |
Research outcomes over time
This page was built for person: Bruce M. Horowitz
