|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laurent Bienvenu, Joseph S. Miller |
Randomness and lowness notions via open covers.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Bienvenu, Rupert Hölzl, Joseph S. Miller, André Nies |
The Denjoy alternative for computable functions. |
STACS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Figueira, Denis R. Hirschfeldt, Joseph S. Miller, Keng Meng Ng, André Nies |
Counting the Changes of Random D02{\Delta^0_2} Sets. |
CiE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph S. Miller |
The K-Degrees, Low for K Degrees, and Weakly Low for K Sets. |
Notre Dame Journal of Formal Logic |
2009 |
DBLP BibTeX RDF |
|
| 1 | Noam Greenberg, Joseph S. Miller |
Lowness for Kurtz randomness. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Santiago Figueira, Joseph S. Miller, André Nies |
Indifferent Sets. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Noam Greenberg, Joseph S. Miller |
The upward closure of a perfect thin class. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller |
Randomness and halting probabilities. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Cholak, Noam Greenberg, Joseph S. Miller |
Uniform almost everywhere domination. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Barbara F. Csima, Rod Downey, Noam Greenberg, Denis R. Hirschfeldt, Joseph S. Miller |
Every 1-generic computes a properly 1-generic. |
J. Symb. Log. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph S. Miller, André Nies |
Randomness and Computability: Open Questions. |
Bulletin of Symbolic Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rodney G. Downey, Carl G. Jockusch Jr., Joseph S. Miller |
On self-embeddings of computable linear orderings. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan |
Kolmogorov-Loveland randomness and stochasticity. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph S. Miller, Lawrence S. Moss |
The Undecidability of Iterated Modal Relativization. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
iterated relativization, modal logic, undecidability, Dynamic epistemic logic |
| 1 | Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann, Frank Stephan |
Kolmogorov-Loveland Randomness and Stochasticity. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph S. Miller |
Degrees of unsolvability of continuous functions. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph S. Miller |
Every 2-random real is Kolmogorov random. |
J. Symb. Log. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joseph S. Miller, Reed Solomon |
Effectiveness for infinite variable words and the Dual Ramsey Theorem. |
Arch. Math. Log. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph S. Miller |
Effectiveness for Embedded Spheres and Balls. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph S. Miller |
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")