Arama Sonuçları - "Mathematical Logic and Formal Languages."

Sonuçları Daraltın
  1. 1

    Satisfiability of word equations with constants is in PSPACE. Yazar: Plandowski, Wojciech

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  2. 2

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

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  3. 3

    Logics with aggregate operators. Yazar: Hella, Lauri

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  4. 4

    Relational expressive power of constraint query languages. Yazar: Benedikt, Michael

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  5. 5

    Probabilistic checking of proofs a new characterization of NP. Yazar: Arora, Sanjeev

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  6. 6

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

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  7. 7

    Resolution lower bounds for the weak pigeonhole principle. Yazar: Raz, R.

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  8. 8

    On sufficient conditions for unsatisfiability of random formulas. Yazar: Atserias, Albert

    Yayımlandı Journal of the ACM
    Makale


    Kapak Resmi
  9. 9

    Formal methods state of the art and future directions. Yazar: Clarke, Edmund M.

    Yayımlandı ACM computing surveys.
    Makale


    Kapak Resmi
  10. 10

    The calculus formally known as pi. Yazar: Kelly-Bootle, Stan

    Makale


    Kapak Resmi

Arama Araçları: