Finiteness Results on Rewriting Systems
暂无分享，去创建一个
[1] Jean-Claude Raoult,et al. Operational and semantic equivalence between recursive programs. , 1978, STOC '78.
[2] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[3] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[4] Nicolas Bourbaki,et al. Théorie des ensembles , 1954 .
[5] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .