| Ditemukan 31 dokumen dengan kata kunci 4364 |
Simpan CSV  |
|
Definable relations in Turing degree structures
|
| Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1145-1154 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Functions definable by numerical set-expressions
|
| Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Turing is among us
|
| Pengarang: Luís Moniz Pereira | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1257-1277 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Algebras of Relations and Relevance Logic
|
| Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Quasi-minimal degrees for degree spectra
|
| Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1319-1334 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Turing and enumeration jumps in the Ershov hierarchy
|
| Pengarang: Marat Kh. Faizrahmanov and Iskander Sh. Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 737-743 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Jump Inversion Theorem for the Degree Spectra
|
| Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 199-215 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Two-to-one structures
|
| Pengarang: Douglas Cenzer, Valentina Harizanov, and Jeffrey B. Remmel | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1195-223 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Least enumerations of partial structures
|
| Pengarang: Angel V. Ditchev | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 717-735 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Algorithmic reducibilities of algebraic structures
|
| Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 831-843 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
