| Ditemukan 51 dokumen dengan kata kunci 4469 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
K-Triviality of Closed Sets and Continuous Functions
|
| Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Topological Study of the Closed Fragment of GLP
|
| Pengarang: Thomas Icard | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 683-696 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Indifferent Sets
|
| Pengarang: Santiago Figueira, Joseph S. Miller, and André Nies | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 425-443 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Compactness in first-order Gödel logics
|
| Pengarang: Massoud Pourmahdian and Nazanin R. Tavana | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 473-485 |
|
|
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 ::
|
|
|
Arguments as a new perspective on character motive in stories
|
| Pengarang: Floris Bex, Katie Atkinson, and Trevor Bench-Capon | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 4 Desember 2014, p. 467-487) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Semantically closed intuitionistic abstract logics
|
| Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
