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

Publications Master Template, generated: 4:18, 25 August 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. M. R. K. Krishna Rao
    Graph reducibility of term rewriting systems
    In: Proceedings of Mathematical Foundations of Computer Science, Prague, Czech Republic, August/September, 1995, 371-381
  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.