| Ditemukan 66 dokumen dengan kata kunci 3597 |
Simpan CSV  |
|
A small model theorem for the hybrid μ-calculus
|
| Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On guarded transformation in the modal μ-calculus
|
| Pengarang: Florian Bruse, Oliver Friedmann, and Martin Lange | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 194-216) |
|
|
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 ::
|
|
|
General Models and Completeness of First-Order Modal μ-calculus
|
| Pengarang: Ryo Kashima and Keishi Okamoto | No. Panggil: Journal of Logic and Computation August 2008, 18 (4), p. 497-507 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution
|
| Pengarang: Dragan Simić, Ilija Kovačević, Vasa Svirčević, and Svetlana Simić | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 521-532) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
WholeCellSimDB: a hybrid relational/HDF database for whole-cell model predictions
|
| Pengarang: Jonathan R. Karr, Nolan C. Phillips, and Markus W. Covert | No. Panggil: Database (Volume 2014, p. bau095) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Nominal Algebra and the HSP Theorem
|
| Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deduction-detachment theorem in hidden k-logics
|
| Pengarang: Sergey Babenyshev and Manuel A. Martins | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.233-255 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Jump Inversion Theorem for the Degree Spectra
|
| Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 199-215 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
| Pengarang: Matthias Knorr, Martin Slota, Joćo Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
