検索結果 1 - 2 結果 / 2 検索語 'Plandowski, Wojciech', 処理時間: 0.01秒 結果の絞り込み
  1. 1

    Satisfiability of word equations with constants is in PSPACE. 著者: Plandowski, Wojciech

    出版年 Journal of the ACM
    論文

    Satisfiability of word equations with constants is in PSPACE.
  2. 2

    Parallel tree-contraction and Fibonacci numbers. 著者: Plandowski, Wojciech

    論文

    Parallel tree-contraction and Fibonacci numbers.

検索ツール: