| Ditemukan 25 dokumen dengan kata kunci 4642 |
Simpan CSV  |
|
The Effects of Bounding Syntactic Resources on Presburger LTL
|
| Pengarang: Stéphane Demri and Régis Gascon | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1541-1575 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Comparing LTL Semantics for Runtime Verification
|
| Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Labelled calculi of resources
|
| Pengarang: Maribel Fernández and Nikolaos Siafakas | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 591-613 |
|
|
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 ::
|
|
|
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 ::
|
|
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
| Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The syntactic concept lattice: Another algebraic theory of the context-free languages?
|
| Pengarang: Alexander Clark | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 5 Oktober 2015, p. 1203-1229) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The moderating role of the complementary nature of technological resources in the diversification–performance relationship
|
| Pengarang: Maryam Nasiriyar, Lionel Nesta, and Ludovic Dibiaggio | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1357-1380) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Creating a specialist protein resource network: a meeting report for the protein bioinformatics and community resources retreat
|
| Pengarang: Patricia C. Babbitt, Pantelis G. Bagos, Amos Bairoch, Alex Bateman, dll | No. Panggil: Database (Volume 2015, p. bav063) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Heterogeneous effects of financial constraints on innovation: Evidence from Chile
|
| Pengarang: Roberto Álvarez, Gustavo A. Crespi | No. Panggil: Science and Public Policy (Volume 42 Issue 5 October 2015, p. 711-724) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
