Ditemukan 29 dokumen dengan kata kunci 4390 |
Simpan CSV ![Simpan CSV](icons/save.png) |
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 ::
|
|
Enumeration of the adjunctive hierarchy of hereditarily finite sets
|
Pengarang: Giorgio Audrito, Alexandru I. Tomescu, Stephan Wagner | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 943-963)
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
TEORI BAHASA DAN AUTOMATA
|
|
Deconstructing and reconstructing the capability hierarchy
|
Pengarang: Damian Hine, Rachel Parker, Lisette Pregelj, and Martie-Louise Verreynne | No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2014, p. 1299-1325) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
|
Pengarang: Luca Bortolussi and Alberto Policriti | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 761-798 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Turing and enumeration jumps in the Ershov hierarchy
|
Pengarang: Marat Kh. Faizrahmanov and Iskander Sh. Kalimullin | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 737-743 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Fixpoint and While Temporal Query Languages
|
Pengarang: Nicole Bidoit and Matthieu Objois | No. Panggil: Journal of Logic and Computation April 2009, 19 (2), p. 369-404 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Infinite Computations and a Hierarchy in Δ3 Reconsidered
|
Pengarang: Branislav Rovan and L'uboŠ Steskal | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 175-176 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Document dissimilarity within and across languages: A benchmarking study
|
Pengarang: Richard S. Forsyth and Serge Sharoff | No. Panggil: Literary and Linguistic Computing (Volume 29 Issue 1 April 2015, p. 6-22) |
|
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 ::
|
|