Ditemukan 28 dokumen dengan kata kunci 3721 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Undecidability in Some Structures Related to Computation Theory
|
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Quantifiers in logic and proof-search using permissive-nominal terms and sets
|
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Joining non-low C.E. sets with diagonally non-computable functions
|
Pengarang: Laurent Bienvenu, Noam Greenberg, Antonín Kučera, Joseph S. Miller, dll | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1183-1194 |
|
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 ::
|
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
State smearing theorems and the existence of states on some atomic lattice effect algebras
|
Pengarang: Zdenka Riečanová and Jan Paseka | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 863-882 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Web-based discovery and integration of archaeological historic properties inventory data: The Digital Index of North American Archaeology (DINAA)
|
Pengarang: Joshua J. Wells, Eric C. Kansa, Sarah W. Kansa, Stephen J. Yerka, dll | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 3 September 2014, p. 349-360) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Schumpeterian, Keynesian, and Endowment efficiency: some evidence on the export behavior of Argentinian manufacturing firms
|
Pengarang: Florencia Barletta, Mariano Pereira, and Gabriel Yoguel | No. Panggil: Industrial and Corporate Change (Volume 23 Issue 3 June 2014, p. 797-826) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|