دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

معیارهای مبتنی بر مسیر و کاربرد آن در زیر سیستمهای منطقی خطی که مشخصه چند جمله ای هستند

Paths-based criteria and application to linear logic subsystems characterizing polynomial time

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

خصوصیات کلاسهای پیچیدگی چندجملهای و نمادین در محاسبات لامبدا ابتدایی

Characterizing polynomial and exponential complexity classes in elementary lambda-calculus

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

On sharing, memoization, and polynomial time

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

A type-based complexity analysis of Object Oriented programs

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

From Jinja bytecode to term rewriting: A complexity reflecting transformation

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

Complexity bounds for container functors and comonads

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