Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 18:34, 16 September 2019

Search the publication database

  . Return

Your search returned the following 7 documents:

  1. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to realize LSE narrowing
    New Generation Computing 16 (4): 397-434, 1998
  2. Alexander Bockmayr and Andreas Werner
    LSE narrowing for decreasing conditional term rewrite systems
    In: Conditional Term Rewriting Systems CTRS'94, Jerusalem, Israel, July 1994, 1995, 51-70
  3. Alexander Bockmayr, Stefan Krischer, and Andreas Werner
    Narrowing strategies for arbitrary canonical systems
    Fundamenta Informaticae 24 (1,2): 125-155, 1995
  4. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to realize LSE narrowing
    In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), Madrid, Spain, September 14-16, 1994, 1994, 59-76
  5. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    A Concept for the Implementation of LSE Narrowing
    In: 9.~Workshop Logische Programmierung, Hagen, 1993
  6. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to Realize LSE Narrowing
    Fakultät für Informatik, Universität Karlsruhe, Karlsruhe, 6/93
  7. Andreas Werner, Alexander Bockmayr, and Stefan Krischer
    How to Realize LSE Narrowing
    In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, Rattenberg, 1993