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

Publications Master Template, generated: 17:42, 19 October 2019

Search the publication database

  . Return

Your search returned the following 10 documents:

  1. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
    Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
    Theoretical Computer Science 243 (1/2): 167-184, 2000
  2. Margus Veanes
    Farmer's Theorem Revisited
    Information Processing Letters 74 (1/2): 47-53, 2000
  3. Jordi Levy and Margus Veanes
    On the Undecidability of Second-Order Unification
    Information and Computation 159: 125-150, 2000
  4. 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
  5. 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.
  6. Yuri Gurevich and Margus Veanes
    Logic with Equality: Partisan Corroboration and Shifted Pairing
    Information and Computation 152 (2): 205-235, 1999
  7. 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
  8. 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.
  9. Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, and Andrei Voronkov
    The Decidability of Simultaneous Rigid E-Unification with One Variable
    In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), Tsukuba, Japan, March 30 - April 1, 1998, 1998, 181-195
  10. Margus Veanes
    The Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
    In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), Indianapolis, Indiana, June 21-24, 1998, 1998, 264-275