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

Editorial Board

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

A formal library of set relations and its application to synchronous languages

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

A prismoid framework for languages with resources

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

Recursive definitions and fixed-points on well-founded structures

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

The search for a reduction in combinatory logic equivalent to λβ-reduction

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

Representing model theory in a type-theoretical logical framework

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

A study on multi-dimensional products of graphs and hybrid logics

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