دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

Editorial board v-ix

5 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Justified common knowledge

19 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Making knowledge explicit: How hard it is

12 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Polynomial-size Frege and resolution proofs of st-connectivity and Hex tautologies

18 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Abstract canonical presentations

17 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Combining effects: Sum and tensor

30 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

From truth to computability I

36 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

On the complexity of the reflected logic of proofs

7 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Referential logic of proofs

24 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Logic of subtyping

19 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Lambek calculus is NP-complete

16 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

An arithmetic for polynomial-time computation

13 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Geometrical semantics for linear logic (multiplicative fragment)

15 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

On the computational content of the Lawson topology

11 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه

Algebraic topology and concurrency

38 صفحه فرمت PDF سال انتشار : 2006 دانلود متن کامل مقاله ISI سفارش ترجمه