Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22.-24., 2002 : proceedings - International Conference on Rewriting Techniques and Applications 2002 : Kodaň, Dánsko); Tison, Sophie (Berlin : Springer, 2002)
Keywords: výpočetní technika; computer science; monografie; monographs