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

Termination of narrowing revisited

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

On the algebraic structure of declarative programming languages

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

Applications of polyhedral computations to the analysis and verification of hardware and software systems

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

S-semantics for logic programming: A retrospective look

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

Non-strict independence-based program parallelization using sharing and freeness information

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

Abstract interpretation of resolution-based semantics

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

Focusing and polarization in linear, intuitionistic, and classical logics

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

Local consistency for extended CSPs

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

LMNtal as a hierarchical logic programming language

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