Ditemukan 139 dokumen dengan kata kunci 4614 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
A substructural logic for layered graphs
|
Pengarang: Matthew Collinson, Kevin McDonald, and David Pym | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 953-988) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
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 ::
|
|
Set Graphs. V. On representing graphs as membership digraphs
|
Pengarang: Eugenio G. Omodeo, Alexandru I. Tomescu | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 899-919) |
|
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 ::
|
|
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 ::
|
|
On modal μ-calculus over reflexive symmetric graphs
|
Pengarang: Giovanna D'Agostino and Giacomo Lenzi | No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 445-455 |
|
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 ::
|
|
Relative expressive power of navigational querying on graphs using transitive closure
|
Pengarang: Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 759-788) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|