Search Results

Showing 1 - 20 results of 22 for search '"logic programming"', query time: 1.08s Refine Results
  1. 1
    by Hué, Julien
    Published 2009
    “... performed an implementation of this method based on the translation of the fusion problem into a logic...”
    Get access
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  2. 2
    by Hué, Julien
    Published 2009
    “... performed an implementation of this method based on the translation of the fusion problem into a logic...”
    Get access
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  3. 3
    by Hué, Julien
    Published 2009
    “... performed an implementation of this method based on the translation of the fusion problem into a logic...”
    Get access
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  4. 4
    by Hué, Julien
    Published 2009
    “... performed an implementation of this method based on the translation of the fusion problem into a logic...”
    Get access
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  5. 5
    by Hué, Julien
    Published 2009
    “... performed an implementation of this method based on the translation of the fusion problem into a logic...”
    Get access
    Get access
    Get access
    Doctoral or Postdoctoral Thesis
  6. 6
    “... in order to dynamically balance workload while not incurring a very high overhead. Logic programs running...”
    Get access
    Get access
    Text
  7. 7
    Subjects: “...Theory of computation → Constraint and logic programming...”
    Get access
    Get access
    Conference Object
  8. 8
    Subjects: “...Logic programming...”
    Get access
    Get access
    Article in Journal/Newspaper
  9. 9
    “... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
    Get access
    Get access
    Article in Journal/Newspaper
  10. 10
    “... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
    Get access
    Get access
    Article in Journal/Newspaper
  11. 11
    “... with logic programming capabilities such as unification modulo user-definable equational theories...”
    Get access
    Get access
    Get access
    Article in Journal/Newspaper
  12. 12
    “... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
    Get access
    Get access
    Article in Journal/Newspaper
  13. 13
    “... in rewrite theories, and provide Maude with advanced logic programming capabilities such as unification...”
    Get access
    Text
  14. 14
    by Alberto Momigliano
    Published 2024
    “..., as well as the use of Beluga's logic programming engine to search for counterexamples.We report on yet...”
    Get access
    Get access
    Conference Object
  15. 15
    by Pientka, Brigitte
    Published 2010
    Get access
    Get access
    Book Part
  16. 16
    by Huisman, Marieke, Ábrahám, Erika
    Published 2016
    Get access
    Get access
    Other/Unknown Material
  17. 17
    “..., as well as the use of Beluga's logic programming engine to search for counterexamples....”
    Get access
    Get access
    Get access
    Article in Journal/Newspaper
  18. 18
    “... - Parallel implementationsand industrial systems - Non-relational data models - Logic programming...”
    Get access
    Get access
    Book Part
  19. 19
    by McCluskey, T.L., West, Margaret M.
    Published 2001
    “... logic program automatically generated from the theory. We overcame the size and expressiveness problems...”
    Get access
    Get access
    Get access
    Article in Journal/Newspaper
  20. 20
    by Mccluskey, T. L., West, M. M.
    Published 2001
    “... logic program automatically generated from the theory. We overcame the size and expressiveness problems...”
    Get access
    Get access
    Get access
    Article in Journal/Newspaper
Search Tools: Get RSS Feed