| Ditemukan 110 dokumen dengan kata kunci 4488 |
Simpan CSV  |
|
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 ::
|
|
|
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
|
| Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Preservation by fibring of the finite model property
|
| Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the Density of Truth of Locally Finite Logics
|
| Pengarang: Zofia Kostrzycka | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1113-1125 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
| Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Non-cuppable enumeration degrees via finite injury
|
| Pengarang: Charles M. Harris | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 807-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the Structure of Finite Integral Commutative Residuated Chains
|
| Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 717-728 |
|
|
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 ::
|
|
|
Stroke-based intelligent character recognition using a deterministic finite automaton
|
| Pengarang: D. Álvarez, R. Fernández, and L. Sánchez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 463-471) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
