دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

Operational set theory and small large cardinals

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

Situations in LTL as strings

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

On graph reasoning

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

Propositional games with explicit strategies

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

Relating state-based and process-based concurrency through linear logic (full-version)

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

Some specially formulated axiomizations for IΣ0 manage to evade the Herbrandized version of the Second Incompleteness Theorem

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