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

Publications Master Template, generated: 10:17, 17 September 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Michael Hanus
    Improving Control of Logic Programs by Using Functional Logic Languages
    In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium, 1992, 1992, 1-23
  2. M. R. K. Krishna Rao
    Some characteristics of strong innermost normalization
    In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, 406-420