Showing 1 - 1 results of 1 for search 'Frick, Markus', 查詢時間: 0.01s Refine Results
  1. 1

    Deciding first-order properties of locally tree-decomposable structures. 由 Frick, Markus

    發表在 Journal of the ACM
    Article

    Deciding first-order properties of locally tree-decomposable structures.

檢索工具: