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

Deciding branching time properties for asynchronous programs

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

Efficient model checking for LTL with partial order snapshots

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

Pedagogical second-order λλ-calculus

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

A direct proof of the confluence of combinatory strong reduction

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

Frame rule for mutually recursive procedures manipulating pointers

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

Meet continuity properties of posets

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

On-the-fly TCTL model checking for time Petri nets

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

Robustness of temporal logic specifications for continuous-time signals

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