Author:
Baeten J.C.M.,Bergstra J.A.,Klop J.W.,Weijland W.P.
Subject
General Computer Science,Theoretical Computer Science
Reference23 articles.
1. Can programming be liberated from the Von Neumann style? A functional style and its algebra programs;Backus;Comm. ACM,1978
2. Priority rewrite systems;Baeten,1984
3. Term rewriting systems with priorities;Baeten,1987
4. A semantics for PROLOG via term rewrite rewrite systems;Baeten,1987
5. Conditional rewrite rules: confluence and termination;Bergstra;J. Comput. System Sci.,1986
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献