| Ditemukan 182 dokumen dengan kata kunci 4360 |
Simpan CSV  |
|
Detection and analysis of some redundancies in linear logic sequent proofs
|
| Pengarang: Tatjana Lutovac and James Harland | No. Panggil: Journal of Logic and Computation February 2014; 24 (1), p.187-232 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Analytic Methods for the Logic of Proofs
|
| Pengarang: Marcelo Finger | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 167-188 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Arithmetical Completeness of the Intuitionistic Logic of Proofs
|
| Pengarang: Evgenij Dashkov | No. Panggil: Journal of Logic and Computation August 2011, 21 (4), p. 665-682 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A tableau for general linear temporal logic
|
| Pengarang: Mark Alexander Reynolds | No. Panggil: Journal of Logic and Computation October 2013; 23 (5), p. 1057-1080 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Writing out Unifiers in Linear Temporal Logic
|
| Pengarang: Vladimir V. Rybakov | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 1199-1206 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
|
| Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linear Temporal Logic LTL: Basis for Admissible Rules
|
| Pengarang: Sergey Babenyshev and Vladimir Rybakov | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 157-177 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
|
| Pengarang: Cătălin Dima | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 939-958 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linear Temporal Logic ℒ𝒯ℒK extended by Multi-Agent Logic Kn with Interacting Agents
|
| Pengarang: Vladimir Rybakov | No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 989-1017 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Sequent calculi for induction and infinite descent
|
| Pengarang: James Brotherston and Alex Simpson | No. Panggil: Journal of Logic and Computation December 2011, 21 (6), p. 1177-1216 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
