Author:
Avenhaus Jürgen,Löchner Bernd
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. J. Avenhaus, T. Hillenbrand, B. Löchner (2000). On Using Ground Joinable Equations in Equational Theorem Proving. In Proc. FTP 2000, Fachberichte Informatik 5/2000, Universität Koblenz-Landau. Extended version submitted for publication.
2. L. Bachmair and H. Ganzinger (1994). Rewrite-based Equational Theorem Proving with Selection and Simplification. J. Logic and Computation, 4, pages 217–247.
3. H. Comon, P. Narendran, R. Nieuwenhuis, and M. Rusinowitch (1998). Decision Problems in Ordered Rewriting. In Proc. 13th LICS, IEEE Computer Society, pages 276–286.
4. T. Hillenbrand, A. Jaeger, and B. Löchner (1999). System description: Waldmeister-Improvements in Performance and Ease of Use. In Proc. CADE-16, LNAI 1632, pages 232–236.
5. K. Korovin and A. Voronkov (2000). A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering. In Proc. LICS 2000, IEEE Computer Society, pages 291–302.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献