Author:
Bronsard Francois,Reddy Uday S.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. F. L. Bauer. The Munich Project CIP. Volume 292 of LNCS, Springer-Verlag, Berlin, 1987.
2. F. Bronsard. Program Synthesis in a Functional Logic Language. (forthcoming Ph.D. proposal), University of Illinois, 1990.
3. S. L. Bloom and R. Tindell. Varieties of “if-then-else”. SIAM J. Computing, 12(4):677–707, 1983.
4. Technical Report;N. Dershowitz,1983
5. J. Darlington, A. J. Field, and H. Pull. The unification of functional and logic languages. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 37–70, Prentice-Hall, 1986.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Algebraic Presentation of Predicate Logic;Lecture Notes in Computer Science;2013
2. Conditional rewriting in focus;Conditional and Typed Rewriting Systems;1991
3. Axiomatization of a functional logic language;Algebraic and Logic Programming;1990