论文信息 - Implementations of Completion by Transition Rules + Control: ORME - 字舞流文

Implementations of Completion by Transition Rules + Control: ORME

Pierre Lescanne | P. Lescanne

[1] Jon Bentley,et al. Programming pearls: literate programming , 1986, CACM.

[2] Maurice Nivat,et al. Resolution of Equations in Algebraic Structures , 1989 .

[3] Claude Kirchner,et al. AC-Unification Race: The System Solving Approach And Its Implementation , 1990, DISCO.

[4] Leo Bachmair. Proof methods for equational theories , 1987 .

[5] Donald E. Knuth,et al. Literate Programming , 1984, Comput. J..

[6] Pierre Lescanne,et al. Completion Procedures as Transition Rules + Control , 1989, TAPSOFT, Vol.1.