Hasil Pencarian
	Ditemukan 6 dokumen dengan kata kunci 4481 Simpan CSV  Counting the back-and-forth types Pengarang: Antonio Montalbán | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 857-876 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Linear Types and Locality Pengarang: Paolo Torrini | No. Panggil: Journal of Logic and Computation June 2014; 24 (3), p. 655-685 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Counting the changes of random Δ20 sets Pengarang: Santiago Figueira,Denis R. Hirschfeldt,Joseph S. Miller,Keng Meng Ng, | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 4 Agustus 2015, p. 1073-1089) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: Counting weak Heyting algebras on finite distributive lattices Pengarang: Majid Alizadeh and Nima Joharizadeh | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 2 April 2015, p. 247-258) | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  :: 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  :: Completeness and Cut-elimination in the Intuitionistic Theory of Types—Part 2 Pengarang: Olivier Hermant and James Lipton | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 597-602 | Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::