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

برنامه های هماهنگ محدود دولت را می توان در شکل نرمال زوج بیان کرد

Finite-state concurrent programs can be expressed in pairwise normal form

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

محاسبه توسط پرواز خودکار پس از منطق مرتبه دوم مرتبه

Computations by fly-automata beyond monadic second-order logic

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

Editorial Board

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

Least and greatest solutions of equations over sets of integers

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

On execution spaces of PV-programs

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