Visas 101 - 110 av 146 resultat för sökning '"Theory of Computation."', Sökningstid: 0,03s Förfina resultatet
  1. 101

    The security of all RSA and discrete log bits. av Håstad, Johan

    I publikationen Journal of the ACM
    Artikel

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

    Existential second-order logic over graphs Charting the tractability frontier. av Gottlob, Georg

    I publikationen Journal of the ACM
    Artikel

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

    Containment and equivalence for a fragment of XPath. av Miklau, Gerome

    I publikationen Journal of the ACM
    Artikel

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

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

    I publikationen Journal of the ACM
    Artikel

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

    Monotonic reductions, representative equivalence and compilation of intractable problems. av Liberatore, P.

    I publikationen Journal of the ACM
    Artikel

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

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

    I publikationen Journal of the ACM
    Artikel

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

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

    I publikationen Journal of the ACM
    Artikel

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

    Register-machine based processes. av Bergstra, Jan A.

    I publikationen Journal of the ACM
    Artikel

    Register-machine based processes.
  9. 109

    Static analysis in datalog extensions. av Halevy, Alon Y.

    I publikationen Journal of the ACM
    Artikel

    Static analysis in datalog extensions.
  10. 110

    Improved implementations of binary universal operations. av Attiya, Hagit

    I publikationen Journal of the ACM
    Artikel

    Improved implementations of binary universal operations.

Sökverktyg: