Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Arnold, A., Nivat, M.: Metric interpretations of infinite trees and semantics of nondeterministic recursive programs. Theoretical Computer Science 11(2), 181–205 (1980)
2. Dershowitz, N., Kaplan, S.: Rewrite, Rewrite, Rewrite, Rewrite, Rewrite,.. In: Principles of Programming Languages, pp. 250–259. ACM, New York (1989)
3. Hajnal, A., Hamburger, P.: Set Theory. London Mathematical Society (1999)
4. Kahrs, S.: Infinitary rewriting: Meta-theory and convergence. Acta Informatica 44(2), 91–121 (2007)
5. Kennaway, R.: On transfinite abstract reduction systems. Technical Report CS-R9205, Centrum voor Wiskunde en Informatica, Amsterdam (1992)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献