Martin Kenneth Solomon
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 |
|---|---|---|
| Measure independent Gödel speed‐ups and the relative difficulty of recognizing sets Mathematical Logic Quarterly | 1993-01-01 | Paper |
| Relativized Gödel speed-up and the degree of succinctness of representations Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
| A Connection Between Blum Speedable Sets and Gödel's Speed-Up Theorem Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
| Information-theoretic Complexity of Program Specifications The Computer Journal | 1987-01-01 | Paper |
| Some results on measure independent Gödel speed-ups Journal of Symbolic Logic | 1978-01-01 | Paper |
Research outcomes over time
This page was built for person: Martin Kenneth Solomon
