| Ditemukan 12 dokumen dengan kata kunci 4502 |
Simpan CSV  |
|
Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas
|
| Pengarang: B. Godlin, E. Katz, and J. A. Makowsky | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 237-265 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A Graph-theoretic Account of Logics
|
| Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1281-1320 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On Graph-theoretic Fibring of Logics
|
| Pengarang: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1321-1357 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On White's Expansion of Łukasiewicz Logic
|
| Pengarang: Petr Hájek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 389-397 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Classes of structures with universe a subset of ω1
|
| Pengarang: Ekaterina Fokina, Sy-David Friedman, Julia Knight, and Russell Miller | No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1249-1265 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Terminating sequent calculi for proving and refuting formulas in S4
|
| Pengarang: Camillo Fiorentini | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 1 February 2015, p. 179-205) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model-theoretic characterization of intuitionistic predicate formulas
|
| Pengarang: Grigory K. Olkhovikov | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 809-829 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Private announcement and belief expansion: an internal perspective
|
| Pengarang: Guillaume Aucher | No. Panggil: Journal of Logic and Computation June 2012, 22 (3), p. 451-479 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
The Expansion Problem in Lambda Calculi with Explicit Substitution
|
| Pengarang: Ariel Arbiser | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 849-883 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
On the inference of non-confluent NLC graph grammars
|
| Pengarang: Robert Brijder and Hendrik Blockeel | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 799-814 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
