Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. H.-J. Bückert, A. Herold and M. Schmidt-Schauß. On Equational Theories, Unification and Decidability. Journal of Symbolic Computation, 1989, volume 8, number 1 & 2, 1989, Special issue on unification, part two, pages 3–50.
2. A. Bockmayr, S. Krischer and A. Werner. An Optimal Narrowing Strategy for General Canonical Systems. In CTRS 1992, LNCS 656, Springer-Verlag, 1993.
3. A. Bockmayr, S. Krischer and A. Werner. Narrowing Strategies for Arbitrary Canonical Systems. Interner Bericht 22/93, Fakultät für Informatik, University of Karlsruhe, 1993. To appear in Fundamenta Informaticae.
4. A. Bockmayr. Contributions to the Theory of Logic-Functional Programming. PhD thesis, Fakultät für Informatik, Univ. Karlsruhe, 1990, (in German).
5. A. Bockmayr. Conditional Narrowing Modulo a Set of Equations. Applicable Algebra in Engineering, Communication and Computing, 1993, vol. 4, pages 147–168.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complete Strategies for Term Graph Narrowing;Recent Trends in Algebraic Development Techniques;1999