Showing 71 - 80 results of 89 for search '"Formal language."', query time: 0.01s Refine Results
  1. 71

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  2. 72

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

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  3. 73

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

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  5. 75

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

    Genetic design of linear antenna arrays. by Jones, Eric A.

    Article

    Genetic design of linear antenna arrays.
  7. 77

    Splicing systems with targets are computationally universal. by Paun, Gheorghe

    Article

    Splicing systems with targets are computationally universal.
  8. 78

    A lower bound technique for the size of nondeterministic finite automata. by Glaister, Ian

    Article

    A lower bound technique for the size of nondeterministic finite automata.
  9. 79

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

    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.

Search Tools: