Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. D.Bert, R.Echahed: Design and Implementation of a Generic, Logic and Functional Programming Language. Proc. of ESOP'86, LNCS n∘ 213, Saarebrücken, March 1986 119–132.
2. P.G.Bosco, E.Giovannetti, C.Moiso: Refined Strategies for semantic unification. Proc. of TAPSOFT '87, LNCS n∘ 250, Pisa, March 1987, 276–290.
3. D.DeGroot, G.Lindstrom: Logic Programming: Relations, Functions, and Equations. Prentice Hall, Englewood Cliffs, NJ, 1986.
4. N.Dershowitz, J.P.Jouannaud: Rewrite Systems. Chapter 15 of Volume B of “Handbook of Theoretical Computer Science”, North-Holland, 1990.
5. N.Dershowitz, D.A.Plaisted: Logic Programming cum Applicative Programming. Proc. SLP'85, Boston, July 1985, 54–66.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献