Author:
Bütow Bernd,Giegerich Robert,Ohlebusch Enno,Thesing Stephan
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In Proceedings of the 21st ACM Symposium on Principles of Programming Languages, pages 268–278. ACM Press, 1994.
2. B. Bütow and S. Thesing. Reverse restrucuring: Another method of solving algebraic equations. Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Report 94-07, Universität Bielefeld, 1994.
3. B. Bütow and S. Thesing. PaNaMa user's manual. Forschungsberichte der Technischen Fakultät, Abteilung Informationstechnik, Report 95-01, Universität Bielefeld, 1995.
4. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243–320. Elsevier Science Publisher B.V., 1990.
5. N. Dershowitz, S. Mitra, and G. Sivakumar. Decidable matching for convergent systems. In Proceedings of the 11th Conference on automatic deduction (CADE), pages 133–146, 1992.