Showing 2,121 - 2,130 results of 2,262 for search '"Logic"', query time: 0.02s Refine Results
  1. 2121

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

    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.
  3. 2123

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

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  4. 2124

    Static analysis in datalog extensions. by Halevy, Alon Y.

    Published in Journal of the ACM
    Article

    Static analysis in datalog extensions.
  5. 2125

    Logics with aggregate operators. by Hella, Lauri

    Published in Journal of the ACM
    Article

    Logics with aggregate operators.
  6. 2126

    Objects objects everywhere. by Manion, Todd M.

    Article

    Objects objects everywhere.
  7. 2127

    Extracting semantic metadata and its visualization. by Lee, Dongwon

    Article

    Extracting semantic metadata and its visualization.
  8. 2128

    Non-null references by default in the Java modeling language. by Chalin, Patrice

    Article

    Non-null references by default in the Java modeling language.
  9. 2129

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

    Constraint satisfaction techniques for diagnosing errors in design by contract software. by Ceballos, Rafael

    Article

    Constraint satisfaction techniques for diagnosing errors in design by contract software.

Search Tools: