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

Editorial Board

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

On second-order iterative monads

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

On coalgebras over algebras

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

Coalgebras in functional programming and type theory

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

Maximal traces and path-based coalgebraic temporal logics

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

Bialgebras for structural operational semantics: An introduction

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

Coalgebraic semantics of modal logics: An overview

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

Probabilistic systems coalgebraically: A survey

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