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 '_'
Standard Logics Are Valuation-Nonmonotonic
Pengarang: Mladen Pavičić and Norman D. Megill | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 959-982 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
On Computational Complexity of Semilinear Varieties
Pengarang: Enrico Marchioni | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 941-958 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Logical Weak Completions of Paraconsistent Logics
Pengarang: Mauricio Osorio Galindo, José R. Arrazola Ramírez, and José Luis Carballido | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 913-940 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Pengarang: Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, and Cristina Sernadas | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 885-911 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
The Expansion Problem in Lambda Calculi with Explicit Substitution
Pengarang: Ariel Arbiser | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 849-883 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Synthesizing Monadic Predicates
Pengarang: Carlo Meghini and Nicolas Spyratos | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 831-847 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Modal Operators over Constructive Logic
Pengarang: Evgeny Yu. Sherkhonov | No. Panggil: Journal of Logic and Computation December 2008, 18 (6), p. 815-829 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Logical and Complexity-theoretic Aspects of Models of Computation with Restricted Access to Arrays
Pengarang: Iain A. Stewart | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 217-242 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
A Jump Inversion Theorem for the Degree Spectra
Pengarang: Alexandra A. Soskova and Ivan N. Soskov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 199-215 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Undecidability in Some Structures Related to Computation Theory
Pengarang: Victor L. Selivanov | No. Panggil: Journal of Logic and Computation February 2009, 19 (1), p. 177-197 | Penerbitan: Oxford University Press
Cari yang mirip ::  Tambahkan ke favorit :: 
Mundur   1 2 3 4 5 6 7 8 9 10  Maju