| Ditemukan 110 dokumen dengan kata kunci 4610 |
Simpan CSV  |
|
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 ::
|
|
|
Preservation by fibring of the finite model property
|
| Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Computation of higher order ellipsoidal harmonics with an application in electroencephalography
|
| Pengarang: George Dassios and Ioannis K. Chatjigeorgiou | No. Panggil: The Quarterly Journal of Mechanics and Applied Mathematics (Volume 68 Issue 2 May 2015, p. 145-172) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A small model theorem for the hybrid μ-calculus
|
| Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
|
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 ::
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Calculus
|
|
|
|
Linearity in Computation
|
| Pengarang: Mário Florido and Ian Mackie | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 511-512 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Axiom Pinpointing in General Tableaux
|
| Pengarang: Franz Baader and Rafael Peñaloza | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 5-34 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
