| Ditemukan 39 dokumen dengan kata kunci 3603 |
Simpan CSV  |
|
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
|
| Pengarang: George H.L.Fletcher, Marc Gyssens, Dirk Leinders,dll | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (549-580) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
The complexity of reasoning for fragments of default logic
|
| Pengarang: Olaf Beyersdorff, Arne Meier, Michael Thomas, and Heribert Vollmer | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 587-604 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Separations of non-monotonic randomness notions
|
| Pengarang: Laurent Bienvenu, Rupert Hölzl, Thorsten Kräling, and Wolfgang Merkle | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 701-715 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Algebras of Relations and Relevance Logic
|
| Pengarang: Szabolcs Mikulás | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 305-321 |
|
|
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 ::
|
|
|
Beginning Calculus
|
|
|
|
Embedding the hypersequent calculus in the display calculus
|
| Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
