| Ditemukan 35 dokumen dengan kata kunci 4676 |
Simpan CSV  |
|
Borel Complexity of Topological Operations on Computable Metric Spaces
|
| Pengarang: Vasco Brattka and Guido Gherardi | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 45-76 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Modal compact Hausdorff spaces
|
| Pengarang: Guram Bezhanishvili, Nick Bezhanishvili, and John Harding | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 1-35) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-I
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 827-856) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Logics for some dynamic spaces-II
|
| Pengarang: Md. Aquil Khan, Mohua Banerjee | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 857-878) |
|
|
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 ::
|
|
|
On Dynamic Topological Logic of the Real Line
|
| Pengarang: Maria Nogin and Aleksey Nogin | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 1029-1045 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Two new homomorphism dualities and lattice operations
|
| Pengarang: Catarina Carvalho, Víctor Dalmau, and Andrei Krokhin | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1065-1092 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The expressive power of first-order topological languages
|
| Pengarang: Ernest Davis | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1107-1141 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Deduction Systems for Coalgebras Over Measurable Spaces
|
| Pengarang: Robert Goldblatt | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1069-1100 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
|
| Pengarang: Ioana Leuştean | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 493-508 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
