نتایج جستجو برای: strong linear preserver
تعداد نتایج: 834431 فیلتر نتایج به سال:
Abstract We present the first parallel algorithms that decide strong and branching bisimilarity in linear time. More precisely, if a transition system has n states, m transitions $$\vert Act \vert $$ | A c t action labels, we introduce ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید
