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

Editorial board v-ix

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

The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus

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

Similarity between preferential models

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

On a problem of Fagin concerning multivalued dependencies in relational databases

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

Structure of proofs and the complexity of cut elimination

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

Automatic workflow verification and generation

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

Complete axiomatization and decidability of Alternating-time temporal logic

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

A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols

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

Linear and affine logics with temporal, spatial and epistemic operators

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

model checking for time Petri nets

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

Specification, testing and implementation relations for symbolic-probabilistic systems

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

Efficient timed model checking for discrete-time systems

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

Automatic semigroups and categories

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

Testing against a non-controllable stream X-machine using state counting

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