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

Constructive semantics for instantaneous reactions

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

Effective homology of bicomplexes, formalized in Coq

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

Toggling operators in computability logic

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

Determinacy and query rewriting for conjunctive queries and views

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

A short proof that adding some permutation rules to β preserves SN

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

A note on preservation of strong normalisation in the λ-calculus

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