Showing 81 - 89 results of 89 for search '"Formal language."', query time: 0.02s Refine Results
  1. 81
  2. 82
  3. 83

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

    Published in Journal of the ACM
    Article
  4. 84

    Logics with aggregate operators. by Hella, Lauri

    Published in Journal of the ACM
    Article
  5. 85
  6. 86
  7. 87

    Plausibility measures and default reasoning. by Friedman, N.

    Published in Journal of the ACM
    Article
  8. 88
  9. 89

Search Tools: