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

Editorial Board

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

Monoidal indeterminates and categories of possible worlds

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

Inverse-limit and topological aspects of abstract interpretation

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

On the failure of fixed-point theorems for chain-complete lattices in the effective topos

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

Ancilla-driven quantum computation with twisted graph states

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

Extending algebraic operations to -completions

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

Modalities in the Stone age: A comparison of coalgebraic logics

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

Teleportation with an imperfect state

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