Barry E. Jacobs
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 |
|---|---|---|
| On interpretations of relational languages and solutions to the implied constraint problem ACM Transactions on Database Systems | 1982-01-01 | Paper |
| On the family of generalized dependency constraints Journal of the ACM | 1982-01-01 | Paper |
| On Database Logic Journal of the ACM | 1982-01-01 | Paper |
| Degrees of Non α‐Speedable Sets Mathematical Logic Quarterly | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3726313 (Why is no real title available?) | 1980-01-01 | Paper |
| \(\alpha\)-naming and \(\alpha\)-speedup theorems Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
| <i>α</i>-Speedable and non <i>α</i>-Speedable Sets Canadian Journal of Mathematics | 1979-01-01 | Paper |
| The α-Union Theorem and Generalized Primitive Recursion Transactions of the American Mathematical Society | 1978-01-01 | Paper |
| On generalized computational complexity Journal of Symbolic Logic | 1977-01-01 | Paper |
Research outcomes over time
This page was built for person: Barry E. Jacobs
