Hunter Monroe
From MaRDI portal
Person:620963
Available identifiers
zbMath Open monroe.hunterMaRDI QIDQ620963
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 |
|---|---|---|
| Ruling Out Short Proofs of Unprovable Sentences is Hard | 2023-04-02 | Paper |
| Hardness of Ruling Out Short Proofs of Kolmogorov Randomness | 2023-01-11 | Paper |
| Average-Case Hardness of Proving Tautologies and Theorems | 2022-05-16 | Paper |
| Speedup for natural problems and noncomputability | 2011-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396633 | 2009-09-19 | Paper |
| Topology and Closed Timelike Curves II: Causal structure | 2006-07-31 | Paper |
| The Duality of Time Dilation and Velocity | 2005-12-05 | Paper |
Research outcomes over time
This page was built for person: Hunter Monroe