Author:
Kikuchi Kentaro,Lengrand Stéphane
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoret. Comput. Sci. 236(1–2), 133–178 (2000)
2. Baader, F., Nipkow, T.: Term rewriting and all that. Cambridge University Press, Cambridge (1998)
3. Benaissa, Z., Briaud, D., Lescanne, P., Rouyer-Degli, J.: λυ, a calculus of explicit substitutions which preserves strong normalisation. J. Funct. Programming 6(5), 699–722 (1996)
4. Bloo, R.: Preservation of Termination for Explicit Substitution. PhD thesis, Technische Universiteit Eindhoven, IPA Dissertation Series 1997-05 (1997)
5. Bloo, R., Geuvers, H.: Explicit substitution: On the edge of strong normalization. Theoret. Comput. Sci. 211(1–2), 375–395 (1999)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献