Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference11 articles.
1. G. Huet, Confluent reductions: Abstract properties and applications to term rewirting systems.JACM, 1980, 27(4), 797–821.
2. Nachum Dershowitz, Termination of rewriting.J. Symbolic Computation, 1987, 3(1–2), 69–115; 1987, 4(3), 409–410.
3. Nachum Dershowitz and Stéphane Kaplan. Rewrite, rewrite, rewrite, rewrite, rewrite…, Proc. 16-th ACM Symp. on Principles of Programming Languages, Austin, TX, 1989, 250–259.
4. D. A. Turner, Miranda: A non-strict functional language with polymorphic types. LNCS 201, Springer-Verlag, 1985.
5. P. Hudaket al., Report on the Functional Programming Language Haskell. Draft Proposed Standard, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Head boundedness of nonterminating rewritings;Journal of Computer Science and Technology;1995-05