Torthaí cuardaigh - "Mathematical Logic and Formal Languages."

Beachtaigh na torthaí
  1. 1

    Satisfiability of word equations with constants is in PSPACE. de réir Plandowski, Wojciech

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  2. 2

    Deciding first-order properties of locally tree-decomposable structures. de réir Frick, Markus

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  3. 3

    Logics with aggregate operators. de réir Hella, Lauri

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  4. 4

    Relational expressive power of constraint query languages. de réir Benedikt, Michael

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  5. 5

    Probabilistic checking of proofs a new characterization of NP. de réir Arora, Sanjeev

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  6. 6

    Existential second-order logic over graphs Charting the tractability frontier. de réir Gottlob, Georg

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  7. 7

    Resolution lower bounds for the weak pigeonhole principle. de réir Raz, R.

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  8. 8

    On sufficient conditions for unsatisfiability of random formulas. de réir Atserias, Albert

    Foilsithe in Journal of the ACM
    Alt


    Íomhá chlúdaigh
  9. 9

    Formal methods state of the art and future directions. de réir Clarke, Edmund M.

    Foilsithe in ACM computing surveys.
    Alt


    Íomhá chlúdaigh
  10. 10

    The calculus formally known as pi. de réir Kelly-Bootle, Stan

    Alt


    Íomhá chlúdaigh

Uirlisí cuardaigh: