Author:
Sternagel Christian,Thiemann René
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;R. Thiemann,2008
2. Lecture Notes in Computer Science;F. Haftmann,2010
3. Lecture Notes in Computer Science;R. Thiemann,2009
4. LNCS;T. Nipkow,2002
5. Baader, F., Nipkow, T.: Term Rewriting and All That., Paperback edn. Cambridge University Press, New York (1999), doi:10.2277/0521779200
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献