| Ditemukan 27 dokumen dengan kata kunci 4521 |
Simpan CSV  |
|
Two new homomorphism dualities and lattice operations
|
| Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
|
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 ::
|
|
|
Borel Complexity of Topological Operations on Computable Metric Spaces
|
| Pengarang: Vasco Brattka and Guido Gherardi | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cryptanalysis of two combinatorial public key cryptosystems
|
| Pengarang: R. Durán Díaz, L. Hernández Encinas, and J. Muñoz Masqué | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 4-16 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Two Attempts of Describing Propositional Realizability Logic
|
| Pengarang: Valery Plisko | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 639-663 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
| Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Almost structurally complete infinitary consequence operations extending S4.3
|
| Pengarang: Wojciech Dzik and Piotr Wojtylak | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 640-661) |
|
|
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 ::
|
|
|
Plant rDNA database: update and new features
|
| Pengarang: Sònia Garcia, Francisco Gálvez, Airy Gras, Aleš Kovařík, dll | No. Panggil: Database (Volume 2014, p.bau063) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The syntactic concept lattice: Another algebraic theory of the context-free languages?
|
| Pengarang: Alexander Clark | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1203-1229) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
