Showing 11 - 20 results of 20 for search '"Mathematical logic and formal languages."', query time: 0.02s Refine Results
  1. 11

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

    Published in ACM computing surveys.
    Article

    Formal methods state of the art and future directions.
  2. 12

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

    Published in Journal of the ACM
    Article

    Resolution lower bounds for the weak pigeonhole principle.
  3. 13

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

    Published in Journal of the ACM
    Article

    Existential second-order logic over graphs Charting the tractability frontier.
  4. 14

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

    Published in Journal of the ACM
    Article

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

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

    Published in Journal of the ACM
    Article

    Deciding first-order properties of locally tree-decomposable structures.
  6. 16

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  7. 17

    Logics with aggregate operators. by Hella, Lauri

    Published in Journal of the ACM
    Article

    Logics with aggregate operators.
  8. 18

    Automatic information extraction from large websites. by Crescenzi, Valter

    Published in Journal of the ACM
    Article

    Automatic information extraction from large websites.
  9. 19

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

    Published in Journal of the ACM
    Article

    On sufficient conditions for unsatisfiability of random formulas.
  10. 20

    Plausibility measures and default reasoning. by Friedman, N.

    Published in Journal of the ACM
    Article

    Plausibility measures and default reasoning.

Search Tools: