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

گرامرهای مشخصه به عنوان تبدیل کننده های درخت بیش از نمایش های چرخه ای از درختان بی نهایت و ترکیب توضیحات آنها

Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition

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

تئوری اثبات برای منطقا محدودیت های منطقی زیادی محسوب می شود: منطق نیمه محض

Proof theory for locally finite many-valued logics: Semi-projective logics

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

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

Semantics and proof-theory of depth bounded Boolean logics

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

کاهش رفتارهای خواص ساختاری برنامه ها با روش ها

Reducing behavioural to structural properties of programs with procedures

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

تعیین دقیق تقریبی ماشین آلات با وزن

Rigorous approximated determinization of weighted automata

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

Editorial Board

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