Ditemukan 60 dokumen dengan kata kunci 4485 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Semantically closed intuitionistic abstract logics
|
Pengarang: Steffen Lewitzka | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p 351-374 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Intuitionistic Trilattice Logics
|
Pengarang: Heinrich Wansing and Norihiro Kamide | No. Panggil: Journal of Logic and Computation December 2010, 20 (6), p. 1201-1229 |
|
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 ::
|
|
On the semantics of abstract argumentation
|
Pengarang: A.C. Kakas and P. Mancarella | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 991-1015 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An abstract view on syntax with sharing
|
Pengarang: Richard Garner | No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1427-1452 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What is a model for a semantically linear λ-calculus?
|
Pengarang: Marco Gaboardi and Mauro Piccolo | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 557-589 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Topological Study of the Closed Fragment of GLP
|
Pengarang: Thomas Icard | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 683-696 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A Proof System for Abstract Non-interference
|
Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
K-Triviality of Closed Sets and Continuous Functions
|
Pengarang: George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, and Rebecca Weber | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 3-16 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Intuitionistic implication without disjunction
|
Pengarang: Gerard R. Renardel de Lavalette, Alex Hendriks, and Dick H.J. de Jongh | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 375-404 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|