Ditemukan 32 dokumen dengan kata kunci 4601 |
Simpan CSV  |
A Nominal Axiomatization of the Lambda Calculus
|
Pengarang: Murdoch J. Gabbay and Aad Mathijssen | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 501-531 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Applying Universal Algebra to Lambda Calculus
|
Pengarang: Giulio Manzonetto and Antonino Salibra | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 877-915 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
An axiomatization of ECTL
|
Pengarang: Ryo Kashima | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.117-133 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Calculus
|
|
Calculus
|
|
Calculus
|
|
Nominal Algebra and the HSP Theorem
|
Pengarang: Murdoch J. Gabbay | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 341-367 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
|
Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Beginning Calculus
|
|
Embedding the hypersequent calculus in the display calculus
|
Pengarang: Revantha Ramanayake | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 921-942) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|