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

An nlogn algorithm for hyper-minimizing a (minimized) deterministic automaton

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

On extremal cases of Hopcroft’s algorithm

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

Acyclic automata and small expressions using multi-tilde-bar operators

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

Amount of nonconstructivity in deterministic finite automata

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

Fixed point guided abstraction refinement for alternating automata

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

Verifying parallel programs with dynamic communication structures

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

Parametric random generation of deterministic tree automata

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

Compact representation for answer sets of n-ary regular queries

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

Recognition of directed acyclic graphs by spanning tree automata

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

Analysis of a cellular automaton model for car traffic with a slow-to-stop rule

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

Cellular automata with sparse communication

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