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

Publications Master Template, generated: 4:00, 19 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, Stefan Krischer, and Andreas Werner
    Narrowing strategies for arbitrary canonical systems
    Fundamenta Informaticae 24 (1,2): 125-155, 1995
  3. 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
  4. Stefan Krischer and Alexander Bockmayr
    Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
    In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), Como, Italy, April 10-12, 1991, 74-85
  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