| Ditemukan 18 dokumen dengan kata kunci 4472 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Partial Differential Equations : Theory and Problems
|
|
|
|
Partial semantics of argumentation: basic properties and empirical
|
| Pengarang: Beishui Liao and Huaxin Huang | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 541-562 |
|
|
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 ::
|
|
|
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 ::
|
|
|
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 ::
|
|
|
Embedding countable partial orderings in the enumeration degrees and the ω-enumeration degrees
|
| Pengarang: Mariya I. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 927-952 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Classes of structures with universe a subset of ω1
|
| Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
| Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
