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

معنی ضعیف ترین معناشناسی پیش شرط از مونانی که با نظم غنی شده است

Generic weakest precondition semantics from monads enriched with order

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

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

Algebraic–coalgebraic recursion theory of history-dependent dynamical system models

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

سازه های اعجاب انگیز از ماشین های غیر رسمی کانونی

Coalgebraic constructions of canonical nondeterministic automata

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

کشتن اپسیلون ها با کرگج: مطالعه ی زوال بر روی سیستم با ساختار برچسب جبری

Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure

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

Editorial Board

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

Dijkstra and Hoare monads in monadic computation

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

Multigames and strategies, coalgebraically

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