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

Bisimulation on speed: A unified approach

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

Master index

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

Processes as formal power series: A coinductive approach to denotational semantics

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

Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory

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

Semantic foundations for generalized rewrite theories

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

Approximating and computing behavioural distances in probabilistic transition systems

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

Model checking for process rewrite systems and a class of action-based regular properties

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

Boolean operations and inclusion test for attribute–element constraints

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

Investigations on the Dual Calculus

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

Multimodal logic programming

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

Normal forms for binary relations

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

Editorial board v-ix

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

Eigenvariables, bracketing and the decidability of positive minimal predicate logic

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

Decidability of performance equivalence for basic parallel processes

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

A characterization theorem for injective model classes axiomatized by general rules

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

Two polygraphic presentations of Petri nets

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

LTL over integer periodicity constraints

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

Boolean restriction categories and taut monads

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

On structuring proof search for first order linear logic

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

Theoretical foundations of dynamic program slicing

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

A modal proof theory for final polynomial coalgebras

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