Showing 21 - 30 results of 37 for search '"Mathematical logic."', query time: 0.02s Refine Results
  1. 21

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  2. 22

    Corrigendum Reasoning about knowledge and probability?. by Fagin, Ronald

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  3. 23

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

    Published in Journal of the ACM
    Article

    Satisfiability of word equations with constants is in PSPACE.
  4. 24

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  5. 25

    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.
  6. 26

    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.
  7. 27

    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.
  8. 28

    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.
  9. 29

    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.
  10. 30

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.

Search Tools: