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

یک روش پالایش کامل برای جداسازی منظم زبانهای متنباز

A complete refinement procedure for regular separability of context-free languages

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

ماشین های حالت بازگشتی به پایان رسیده: اکسپرسیونیسم و ​​پیچیدگی

Timed recursive state machines: Expressiveness and complexity

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

در کسر طبیعی در منطق مرتبه اول کلاسیک: مکاتبات کاریانی، نرمال شدن قوی و قضیه هربراند

On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem

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

Editorial Board

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

Reversibility in the higher-order π-calculus

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