| Ditemukan 69 dokumen dengan kata kunci 4669 |
Simpan CSV  |
|
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 ::
|
|
|
A Proof System for Abstract Non-interference
|
| Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Computational Complexity of Semilinear Varieties
|
| Pengarang: Enrico Marchioni | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 941-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Average-Case Complexity
|
|
|
|
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 ::
|
|
|
A Nominal Axiomatization of the Lambda Calculus
|
| Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cirquent Calculus Deepened
|
| Pengarang: Giorgi Japaridze | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 983-1028 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Calculus (The Manga Guide To)
|
|
|
|
Advanced Calculus : Theory and Problems
|
|
|
|
Calculus [Second Edition]
|
|
|
Hasil Pencarian
