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

Publications Master Template, generated: 3:58, 18 October 2019

Search the publication database

  . Return

Your search returned the following 8 documents:

  1. Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, and Renate A. Schmidt
    A Resolution-Based Decision Procedure for Extensions of K4
    In: Advances in Modal Logic, Volume 2, 2001, 225-246
    [PS: Download: _01AIML.ps.gz]
  2. Christoph Meyer
    Soft Typing for Clausal Inference Systems
    Doctoral dissertation, Universit├Ąt des Saarlandes, 1999
  3. Harald Ganzinger, Christoph Meyer, and Margus Veanes
    The Two-Variable Guarded Fragment with Transitive Relations
    In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), Trento, Italy, Trento, Italy, 1999, 24-34
  4. 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
  5. Christoph Weidenbach, Christoph Meyer, Christian Cohrs, Thorsten Engel, and Enno Keen
    SPASS V0.77
    Journal of Automated Reasoning 21 (1): 113-113, 1998
  6. 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
  7. Peter Graf and Christoph Meyer
    Advanced indexing operations on substitution trees
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, New Jersey, USA, July 30 - August 3, 1996, 1996, 553-567
  8. Christoph Meyer
    Parallel Unit Resulting Resolution
    Master's thesis, Universit├Ąt des Saarlandes, 1996
    [PS: Download: meyer.ps]