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
    文件

    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.

检索工具: