Showing 381 - 390 results of 428 for search '"Formalism."', query time: 0.02s Refine Results
  1. 381

    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.
  2. 382

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

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

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

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

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  7. 387

    A model of multimedia information retrieval. by Meghini, Carlo

    Published in Journal of the ACM
    Article

    A model of multimedia information retrieval.
  8. 388

    Logics with aggregate operators. by Hella, Lauri

    Published in Journal of the ACM
    Article

    Logics with aggregate operators.
  9. 389

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article

    Specification and design of component-based coordination systems by integrating coordination patterns.
  10. 390

    A component-based specification approach for embedded systems using FDTs. by Guerrouat, Abdelaziz

    Article

    A component-based specification approach for embedded systems using FDTs.

Search Tools: