| Ditemukan 35 dokumen dengan kata kunci 3630 |
Simpan CSV  |
|
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 ::
|
|
|
Prefix probabilities for linear context-free rewriting systems
|
| Pengarang: Mark-Jan Nederhof and Giorgio Satta | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 331-350 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
|
| Pengarang: André Platzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 309-352 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Algorithmic reducibilities of algebraic structures
|
| Pengarang: Iskander Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 831-843 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
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 ::
|
|
|
Fixpoint and While Temporal Query Languages
|
| Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A general concept for consistent documentation of computational analyses
|
| Pengarang: Peter Ebert, Fabian Müller, Karl Nordström, Thomas Lengauer, and Marcel H. Schulz | No. Panggil: Database (Volume 2015, p. bav050) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A novel hyperspectral segmentation algorithm—concept and evaluation
|
| Pengarang: Pawel Ksieniewicz, Dariusz Jankowski, Borja Ayerdi, Konrad Jackowski, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 1 February 2015, p. 105-120) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
|
| Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1019-1029 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Document dissimilarity within and across languages: A benchmarking study
|
| Pengarang: Richard S. Forsyth and Serge Sharoff | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 6-22) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
