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

پایین سلسله مراتب بورل: حل بازی های مولر از طریق بازی های ایمنی؟

Down the Borel hierarchy: Solving Muller games via safety games

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

منطق زمانی بین دستورات خطی به شدت گسسته: اکسپرسیونیسم و ​​پیچیدگی

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

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

قطعه ای از دو مجموعه مرتب شده از نظریه مجموعه با جفت های مرتب و برخی از پسوندهای غیرقابل تصور

A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions

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

فاصله شبیه سازی رابط

Interface simulation distances

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

تأیید برنامه با استفاده از معانی بازی نمادین

Program verification using symbolic game semantics

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

Editorial Board

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

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs

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

Validating XML document adaptations via Hedge Automata transformations

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

The μ-calculus alternation hierarchy collapses over structures with restricted connectivity

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

Model-checking process equivalences

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