Showing 1 - 2 results of 2 for search 'Plandowski, Wojciech', 查詢時間: 0.01s Refine Results
  1. 1

    Satisfiability of word equations with constants is in PSPACE. 由 Plandowski, Wojciech

    發表在 Journal of the ACM
    Article

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

    Parallel tree-contraction and Fibonacci numbers. 由 Plandowski, Wojciech

    Article

    Parallel tree-contraction and Fibonacci numbers.

檢索工具: