| Ditemukan 5 dokumen dengan kata kunci 4333 |
Simpan CSV  |
|
Uniform Kurtz randomness
|
| Pengarang: Takayuki Kihara and Kenshi Miyabe | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 863-882 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Prompt enumerations and relative randomness
|
| Pengarang: Anthony Morphett | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 877-897 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Separations of non-monotonic randomness notions
|
| Pengarang: Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, and Wolfgang Merkle | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 701-715 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Towards a uniform presentation of logical systems by indexed categories and adjoint situations
|
| Pengarang: U. Wolter, A. Martini, and E. H. Häusler | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 57-93) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Compactness arguments with effectively closed sets for the study of relative randomness
|
| Pengarang: George Barmpalias | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 679-691 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
