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

سفارش اتوماتیک به طور قابل توجهی چند مرحله ای است

Ordered multi-stack visibly pushdown automata

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

با شناسایی حساسیت محیط با استفاده از برش

On detecting environment sensitivity using slicing

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

در تصمیم گیری همگام سازی برای سیستم های ارتباطی به طور همزمان

On deciding synchronizability for asynchronously communicating systems

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

قوانین بیش از حد با زمینه های محدود برای منطق گزاره ای

Hypersequent rules with restricted contexts for propositional modal logics

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

Editorial Board

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

Functorial semantics of first-order views

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