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

ویژگی جدید نظریه نظری توابع محاسباتی چندگانه

A new order-theoretic characterisation of the polytime computable functions

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

تفسیر تعداد واقعی و یا طبیعی و تاثیر آن بر پیچیدگی

Real or natural number interpretation and their effect on complexity

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

مشخص کردن پیچیدگی زمان چندجمله ای برنامه های جریان با استفاده از تفسیر ها

Characterizing polynomial time complexity of stream programs using interpretations

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

همبستگی برنامه در زمینه های خطی

Program equivalence in linear contexts

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

موتور تجزیه و تحلیل افزایشی چند دامنه و کاربرد آن در تجزیه و تحلیل منابع افزایشی

A multi-domain incremental analysis engine and its application to incremental resource analysis

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

نظریه های کاربردی برای کلاس های پیچیدگی لگاریتمی

Applicative theories for logarithmic complexity classes

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

Editorial Board

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

Realizability models for a linear dependent PCF

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