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

Merging Hierarchically-Structured Documents in Workflow Systems

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

Inductive and Coinductive Components of Corecursive Functions in Coq

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

A Name Abstraction Functor for Named Sets

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

Modular Games for Coalgebraic Fixed Point Logics

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

On Products of Transition Systems

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

Coalgebraising Subsequential Transducers

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

Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems

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

Observational Coalgebras and Complete Sets of Co-operations

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

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

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

Predicate Liftings Versus Nabla Modalities

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

Admissibility of Cut in Coalgebraic Logics

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

Coequational Logic for Finitary Functors

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

Comonadic Notions of Computation

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