| Ditemukan 45 dokumen dengan kata kunci 4564 |
Simpan CSV  |
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Verifying social expectations by model checking truncated paths
|
| Pengarang: Stephen Cranefield and Michael Winikoff | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1217-1256 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
TCTL Model Checking of Time Petri Nets
|
| Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logic for coalitions with bounded resources
|
| Pengarang: Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 907-937 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Solving a PSPACE-complete problem by gene assembly
|
| Pengarang: Thomas Zerjatke and Monika Sturm | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 897-908 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Efficient parallel CKY parsing using GPUs
|
| Pengarang: Youngmin Yi, Chao-Yue Lai, and Slav Petrov | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 375-393 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Separating bounded arithmetical theories by Herbrand consistency
|
| Pengarang: Saeed Salehi | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 545-560 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Existentially Closed Models and Conservation Results in Bounded Arithmetic
|
| Pengarang: A. Cordón-Franco, A. Fernández-Margarit, and F. F. Lara-Martín | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 123-143 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
| Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
