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

تأیید پارامترهای مدل های حساس به زمانه پروتکل های شبکه اختصاصی

Parameterized verification of time-sensitive models of ad hoc network protocols

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

کامل بودن منطق هارر با ورودی بیش از مدل استاندارد

Completeness of Hoare logic with inputs over the standard model

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

تجزیه موازی منحصر به فرد در شاخه و معناشناسی تقسیم بندی ضعیف

Unique parallel decomposition in branching and weak bisimulation semantics

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

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

Model checking computation tree logic over finite lattices

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

ویژگی منطقی بازی های بزرگ با دید کوتاه

A logical characterization of extensive games with short sight

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

کاهش روابط همجوشی ناشی از ساختارهای قابل بازگشت مجدد

Reducibilities among equivalence relations induced by recursively enumerable structures

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

Editorial Board

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

Soundness of Q-resolution with dependency schemes

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

On the existence and decidability of unique decompositions of processes in the applied π-calculus

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

A representation of L-domains by information systems

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