يعرض 101 - 110 نتائج من 146 نتيجة بحث عن '"Theory of Computation."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: