Ditemukan 24 dokumen dengan kata kunci 4584 |
Simpan CSV ![Simpan CSV](icons/save.png) |
Higher Types, Finite Domains and Resource-bounded Turing Machines
|
Pengarang: Lars Kristiansen | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 281-304 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
|
Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez | No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
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 ::
|
|
On a hierarchy of 5′ → 3′ sensing Watson–Crick finite automata languages
|
Pengarang: Benedek Nagy | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 855-872 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|