| Ditemukan 113 dokumen dengan kata kunci 4609 |
Simpan CSV  |
|
Tableaux for Public Announcement Logic
|
| Pengarang: Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, and Tiago de Lima | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 55-76 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Public communication in justification logic
|
| Pengarang: Bryan Renne | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1005-1034 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux and Resource Graphs for Separation Logic
|
| Pengarang: Didier Galmiche and Daniel Méry | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 189-231 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Labelled Tableaux for Distributed Temporal Logic
|
| Pengarang: David Basin, Carlos Caleiro, Jaime Ramos, and Luca Viganò | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1245-1279 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Axiom Pinpointing in General Tableaux
|
| Pengarang: Franz Baader and Rafael Peñaloza | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 5-34 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Private announcement and belief expansion: an internal perspective
|
| Pengarang: Guillaume Aucher | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 451-479 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Bottom-up Construction of Semantic Tableaux
|
| Pengarang: Nicolas Peltier | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 283-308 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tableaux for Logics of Subinterval Structures over Dense Orderings
|
| Pengarang: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 133-166 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Science Media Centres and public policy
|
| Pengarang: Simone Rödder | No. Panggil: Science and Public Policy (Volume 42 Issue 3 June 2015, p. 387-400) |
|
|
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 ::
|
|
Hasil Pencarian
