论文信息 - Linear Completion - 字舞流文

Linear Completion

Hervé Devie | H. Devie

[1] Michaël Rusinowitch,et al. On Word Problems in Equational Theories , 1987, ICALP.

[2] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.

[3] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .

[4] 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 .

[5] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .

[6] 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).

[7] Nachum Dershowitz,et al. Orderings for Equational Proofs , 1986, LICS.

[8] Nachum Dershowitz,et al. Existence, Uniqueness, and Construction of Rewrite Systems , 1988, SIAM J. Comput..