| Ditemukan 41 dokumen dengan kata kunci 3699 |
Simpan CSV  |
|
Counting weak Heyting algebras on finite distributive lattices
|
| Pengarang: Majid Alizadeh and Nima Joharizadeh | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 247-258) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Embedding distributive lattices in the Σ02 enumeration degrees
|
| Pengarang: Hristo Ganchev and Mariya Soskova | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 779-792 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Finite RDP-algebras: duality, coproducts and logic
|
| Pengarang: Simone Bova and Diego Valota | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 417-450 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Finitely Presented MV-algebras with Finite Automorphism Group
|
| Pengarang: Stefano Aguzzoli and Vincenzo Marra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 811-822 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Counting the back-and-forth types
|
| Pengarang: Antonio Montalbán | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 857-876 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logical Weak Completions of Paraconsistent Logics
|
| Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Notions of Bisimulation for Heyting-Valued Modal Languages
|
| Pengarang: Pantelis E. Eleftheriou, Costas D. Koutras, and Christos Nomikos | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 213-235 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Algebras with Iteration
|
| Pengarang: Jiří Adámek, Stephen L. Bloom, and Stefan Milius | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1047-1085 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
High frequency homogenisation for elastic lattices
|
| Pengarang: D. J. Colquitt, R. V. Craster, and M. Makwana | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 203-230) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Counting the changes of random Δ20 sets
|
| Pengarang: Santiago Figueira,Denis R. Hirschfeldt,Joseph S. Miller,Keng Meng Ng, | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1073-1089) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
