Author:
Ganzinger Harald,Nieuwenhuis Robert,Nivela Pilar
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Jim Christian. Flatterms, Discrimination Nets, and Fast Term rewriting. Journal of Automated Reasoning, 10:95–113, 1993.
2. Lect Notes Comput Sci;P. Graf,1995
3. Thomas Hillenbrand, Arnim Buch, Roland Vogt, and Bernd Löchner. WALDMEISTER—high-performance equational deduction. Journal of Automated Reasoning, 18(2):265–270, April 1997.
4. William McCune. Experiments with discrimination tree indexing and path indexing for term retrieval. Journal of Automated Reasoning, 9(2):147–167, October 1992.
5. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, and Andrei Voronkov. On the evaluation of indexing data structures. 2001. This proceedings.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献