| Ditemukan 82 dokumen dengan kata kunci 4537 |
Simpan CSV  |
|
From Deep Inference to Proof Nets via Cut Elimination
|
| Pengarang: Lutz Strassburger | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 589-624 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Cut Elimination and Realization for Epistemic Logics with Justification
|
| Pengarang: Meghdad Ghari | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1171-1198 |
|
|
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 ::
|
|
|
Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2
|
| Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A semantic proof of strong cut-admissibility for first-order Gödel logic
|
| Pengarang: Ori Lahav and Arnon Avron | No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 59-86 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Simple Proof of Completeness and Cut-admissibility for Propositional Gödel Logic
|
| Pengarang: Arnon Avron | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 813-821 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Intuitionistic Dual-intuitionistic Nets
|
| Pengarang: Olivier Laurent | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 561-587 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deep Question Answering for protein annotation
|
| Pengarang: Julien Gobeill, Arnaud Gaudinat, Emilie Pasche, Dina Vishnyakova, | No. Panggil: Database (Volume 2015, p. bav081) |
|
|
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 ::
|
|
|
Reasoning with vectors: A continuous model for fast robust inference
|
| Pengarang: Dominic Widdows, Trevor Cohen | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 141-173 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
