Showing 1 - 15 results of 15 for search 'Gesellschaft für Logische Programmierung e.V. ', query time: 0.13s Refine Results
  1. 1
    Preface
    by Geske, Ulrich, Wolf, Armin
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  2. 2
    Overview of the monadic constraint programming framework
    by Schrijvers, Tom
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  3. 3
    What I have learned from all these solver competitions
    by Zhou, Neng-Fa
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  4. 4
    An ER-based framework for declarative web programming
    by Hanus, Michael, Koschnicke, Sven
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  5. 5
    xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  6. 6
    Existential quantifiers in the rule body
    by Cabalar, Pedro
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  7. 7
    Kato: a plagiarism-detection tool for answer-set programs
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  8. 8
    A paraconsistent semantics for generalized logic programs
    by Herre, Heinrich, Hummel, Axel
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  9. 9
    Stationary generated models of generalized logic programs
    by Herre, Heinrich, Hummel, Axel
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  10. 10
    Constraint-based abstraction of a model checker for infinite state systems
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  11. 11
    Range restriction for general formulas
    by Brass, Stefan
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  12. 12
    Transforming imperative algorithms to constraint handling rules
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  13. 13
    Persistent constraints in constraint handling rules
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  14. 14
    A tool for generating partition schedules of multiprocessor systems
    by Goltz, Hans-Joachim, Pieth, Norbert
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
  15. 15
    Efficiency of difference-list programming
    by Geske, Ulrich, Goltz, Hans-Joachim
    Published 2010
    Other Authors: “...Gesellschaft für Logische Programmierung e.V. ...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search