Ditemukan 184 dokumen dengan kata kunci 4554 |
Simpan CSV |
Cyclic Involutive Distributive Full Lambek Calculus is Decidable
|
Pengarang: Michał Kozak | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p.231-252 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Sequent Calculi for the Modal µ-Calculus over S5
|
Pengarang: Luca Alberucci | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 971-985 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Proof Complexity of the Cut-free Calculus of Structures
|
Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 323-339 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Android Mobile : Application Development from A to Z
|
|
Constructive Logic with Strong Negation as a Substructural Logic
|
Pengarang: Manuela Busaniche and Roberto Cignoli | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 761-793 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Epistemic integration of the European Research Area: The shifting geography of the knowledge base of Finnish research, 1995–2010
|
Pengarang: Hannes Toivanen, Arho Suominen | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 549-566) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
|
Pengarang: George H.L.Fletcher, Marc Gyssens, Dirk Leinders,dll | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (549-580) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Differential and integral calculus for logical operations. A matrix–vector approach
|
Pengarang: Eduardo Mizraji | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. (613-638) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
|
Pengarang: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 77-109 |
|
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 ::
|
|