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

Publications Master Template, generated: 17:56, 21 August 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Harald Ganzinger, Florent Jacquemard, and Margus Veanes
    Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
    International Journal of Foundations of Computer Science 11 (1): 3-27, 2000
  2. V. Cortier, Harald Ganzinger, Florent Jacquemard, and Margus Veanes
    Decidable fragments of simultaneous rigid reachability
    In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), Prague, Czech Republik, July 11-15, 1999, 1999, 250-260. Note: Full version of this paper is available as MPI Research Report MPI-I-1999-2-004.
  3. Harald Ganzinger, Florent Jacquemard, and Margus Veanes
    Rigid Reachability
    In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), Manila, The Philippines,, December, 8-10, 1998, 1998, 4-21. Note: A full version of this paper is available as MPI-I Research Report MPI-I-98-2-013.
  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