| Ditemukan 69 dokumen dengan kata kunci 3728 |
Simpan CSV  |
|
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 ::
|
|
|
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 ::
|
|
|
Estimation of relative biological effectiveness for boron neutron capture therapy using the PHITS code coupled with a microdosimetric kinetic model
|
| Pengarang: Hironori Horiguchi, Tatsuhiko Sato, Hiroaki Kumada, Tetsuya Yamamoto, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 2 March 2015, p. 382-390) |
|
|
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 ::
|
|
|
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 ::
|
|
|
Prompt enumerations and relative randomness
|
| Pengarang: Anthony Morphett | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 877-897 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
|
| Pengarang: Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Terracina | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 671-695 |
|
|
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 ::
|
|
|
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
| Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Trust-based Revision for Expressive Web Syndication
|
| Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
