Lecture Notes in Computer Science 2378 Rewriting Techniques and Applications 13th International Conf
RTA 20022002 年出版385 页ISBN:3540439161
geometry and quantum field theory : proceedings of the 2002 Oxford symposium in the honour of the 60th birthday of Graeme Segal2004 年出版577 页ISBN:0521540496