| Ditemukan 56 dokumen dengan kata kunci 4580 |
Simpan CSV  |
|
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
|
| Pengarang: Lawrence S. Moss | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1101-1111 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Presentation of Set Functors: A Coalgebraic Perspective
|
| Pengarang: J. Adámek, H. P. Gumm, and V. Trnkova | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 991-1015 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Rank-1 Modal Logics are Coalgebraic
|
| Pengarang: Lutz Schröder and Dirk Pattinson | No. Panggil: Journal of Logic and Computation October 2010, 20 (5), p. 1113-1147 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On a coalgebraic view on Logic
|
| Pengarang: Dirk Hofmann and Manuel A. Martins | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1097-1106 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Non-finitary Sentential Logic that is Elementarily Algebraizable
|
| Pengarang: J.G. Raftery | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 969-975 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Answer Set Programming with Resources
|
| Pengarang: Stefania Costantini and Andrea Formisano | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 533-571 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Monotonic Answer Set Programming
|
| Pengarang: Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 539-564 |
|
|
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 ::
|
|
|
Trust-based Revision for Expressive Web Syndication
|
| Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener | No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Functions definable by numerical set-expressions
|
| Pengarang: Ian Pratt-Hartmann and Ivo Düntsch | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 873-895 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
