Hasil Pencarian
	Ditemukan 17 dokumen dengan kata kunci 3617 Simpan CSV  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  :: 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  :: 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  :: 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  :: Representing supererogation Pengarang: Sven Ove Hansson | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (443-451) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Answer Set Programming with Resources Pengarang: Stefania Costantini and Andrea Formisano | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 533-571 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Monotonic Answer Set Programming Pengarang: Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 539-564 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Functions definable by numerical set-expressions Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Presentation of Set Functors: A Coalgebraic Perspective Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Prev   1 2  Next