| Ditemukan 32 dokumen dengan kata kunci 4501 |
Simpan CSV  |
|
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 the definability of simulation and bisimulation in epistemic logic
|
| Pengarang: Hans van Ditmarsch, David Fernández-Duque, and Wiebe van der Hoek | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p1209-1227) |
|
|
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 ::
|
|
|
Fixpoint and While Temporal Query Languages
|
| Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Document dissimilarity within and across languages: A benchmarking study
|
| Pengarang: Richard S. Forsyth and Serge Sharoff | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 6-22) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The expressive power of first-order topological languages
|
| Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Modal compact Hausdorff spaces
|
| Pengarang: Guram Bezhanishvili, Nick Bezhanishvili, and John Harding | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 1-35) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Relation-changing modal operators
|
| Pengarang: Carlos Areces, Raul Fervari, and Guillaume Hoffmann | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 601-627) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Exemplaric Expressivity of Modal Logics
|
| Pengarang: Bart Jacobs and Ana Sokolova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1041-1068 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
