Author:
Genet Thomas,Le Gall Tristan,Legay Axel,Murat Valérie
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2002
2. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
3. Barré, N., Besson, F., Genet, T., Hubert, L., Le Roux, L.: Copster homepage (2009),
http://www.irisa.fr/celtique/genet/copster
4. Lecture Notes in Computer Science;S.S. Bauer,2011
5. Lecture Notes in Computer Science;Y. Boichut,2012
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献