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

On the confluence of lambda-calculus with conditional rewriting

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

Contract-based discovery of Web services modulo simple orchestrators

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

A compact fixpoint semantics for term rewriting systems

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

Checking experiments for stream X-machines

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

A computer-verified monadic functional implementation of the integral

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