Koleksi : e-Article Oxford Journal
	| Semua | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Ada 1514 dokumen yang dimulai dengan Judul '_' A Proof System for Abstract Non-interference Pengarang: Roberto Giacobazzi and Isabella Mastroeni | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 449-479 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Admissible Rules of Łukasiewicz Logic Pengarang: Emil Jeřábek | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 425-447 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics Pengarang: Franco Montagna and Carles Noguera | No. Panggil: Journal of Logic and Computation April 2010, 20 (2), p. 399-424 | Penerbitan: Oxford University Press 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 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Temporal Assertions with Parametrized Propositions Pengarang: Volker Stolz | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 743-757 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Interaction-based Runtime Verification for Systems of Systems Integration Pengarang: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 725-742 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Collaborative Runtime Verification with Tracematches Pengarang: Eric Bodden, Laurie Hendren, Patrick Lam, Ondřej Lhoták, dll | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 707-723 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Rule Systems for Run-time Monitoring: from Eagle to RuleR Pengarang: Howard Barringer, David Rydeheard, and Klaus Havelund | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 675-706 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Comparing LTL Semantics for Runtime Verification Pengarang: Andreas Bauer, Martin Leucker, and Christian Schallhart | No. Panggil: Journal of Logic and Computation June 2010, 20 (3), p. 651-674 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Solutions to Some Open Problems on Totally Ordered Monoids Pengarang: Rostislav Horčík | No. Panggil: Journal of Logic and Computation July 2010, 20 (4), p. 977-983 | Penerbitan: Oxford University Press Cari yang mirip ::  Tambahkan ke favorit ::  Mundur   6 7 8 9 10 11 12 13 14 15  Maju