検索結果 101 - 110 結果 / 146 検索語 '"Theory of computation."', 処理時間: 0.03秒 結果の絞り込み
  1. 101

    The security of all RSA and discrete log bits. 著者: Håstad, Johan

    出版年 Journal of the ACM
    論文

    The security of all RSA and discrete log bits.
  2. 102

    Existential second-order logic over graphs Charting the tractability frontier. 著者: Gottlob, Georg

    出版年 Journal of the ACM
    論文

    Existential second-order logic over graphs Charting the tractability frontier.
  3. 103

    Containment and equivalence for a fragment of XPath. 著者: Miklau, Gerome

    出版年 Journal of the ACM
    論文

    Containment and equivalence for a fragment of XPath.
  4. 104

    Monadic datalog and the expressive power of languages for Web information extraction. 著者: Gottlob, Georg

    出版年 Journal of the ACM
    論文

    Monadic datalog and the expressive power of languages for Web information extraction.
  5. 105

    Monotonic reductions, representative equivalence and compilation of intractable problems. 著者: Liberatore, P.

    出版年 Journal of the ACM
    論文

    Monotonic reductions, representative equivalence and compilation of intractable problems.
  6. 106

    A Laplace transform algorithm for the volume of a convex polytope. 著者: Lasserre, Jean B.

    出版年 Journal of the ACM
    論文

    A Laplace transform algorithm for the volume of a convex polytope.
  7. 107

    Deciding first-order properties of locally tree-decomposable structures. 著者: Frick, Markus

    出版年 Journal of the ACM
    論文

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

    Register-machine based processes. 著者: Bergstra, Jan A.

    出版年 Journal of the ACM
    論文

    Register-machine based processes.
  9. 109

    Static analysis in datalog extensions. 著者: Halevy, Alon Y.

    出版年 Journal of the ACM
    論文

    Static analysis in datalog extensions.
  10. 110

    Improved implementations of binary universal operations. 著者: Attiya, Hagit

    出版年 Journal of the ACM
    論文

    Improved implementations of binary universal operations.

検索ツール: