Algorithmic metatheorems; Courcelle's Theorem; tree width; monadic second-order logic; logarithmic space; parallel computations;
机译:算法Metatheorems对空间复杂性和平行度的应用(邀请谈话)
机译:对空间和电路类算法元定理的应用的简要介绍
机译:精细算法和复杂性(特邀演讲)
机译:算法Metatheorems对空间复杂性和平行度的应用(邀请谈话)
机译:频率选择性衰落信道上用于时空编码系统的降低复杂度的算法
机译:非膨胀算子方程的多元系统及其在一致凸和一致光滑Banach空间中求解它们的迭代算法及其应用
机译:浅谈空间和电路类算法模型的应用