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

MPI-INF RG1 Publications, generated: 15:31, 19 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Harald Ganzinger, Christoph Meyer, and Christoph Weidenbach
    Soft Typing for Ordered Resolution
    In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), Townsville, Australia, July, 14-17, 1997, 321-335
  2. Florent Jacquemard, Christoph Meyer, and Christoph Weidenbach
    Unification in Extensions of Shallow Equational Theories
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March, 30th - April, 1st, 1998, 76-90
  3. Christoph Weidenbach, Christoph Meyer, Christian Cohrs, Thorsten Engel, and Enno Keen
    SPASS V0.77
    Journal of Automated Reasoning 21 (1): 113-113, 1998