Author:
Weidenbach Christoph,Dimova Dilyana,Fietzke Arnaud,Kumar Rohit,Suda Martin,Wischnewski Patrick
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation 4(3), 217–247 (1994); Revised version of Max-Planck-Institut für Informatik technical report, MPI-I-91-208 (1991)
2. Lecture Notes in Computer Science;A. Fietzke,2008
3. LNAI;H. Ganzinger,1997
4. Ganzinger, H., Nieuwenhuis, R.: The saturate system 1994 (1994),
http://www.mpi-sb.mpg.de/SATURATE/Saturate.html
5. Lecture Notes in Computer Science;H. Ganzinger,1992
Cited by
162 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献