论文信息 - Clausal Rewriting - 字舞流文

Clausal Rewriting

Fernando Orejas | Robert Nieuwenhuis | F. Orejas | R. Nieuwenhuis

[1] Michaël Rusinowitch,et al. On Word Problems in Horn Theories , 1988, J. Symb. Comput..

[2] Fernando Orejas,et al. Clausal Rewriting: Applications and Implementation , 1990, ADT.

[3] Harald Ganzinger,et al. On Restrictions of Ordered Paramodulation with Simplification , 1990, CADE.

[4] Albert Rubio,et al. TRIP: An Implementation of Clausal Rewriting , 1990, CADE.

[5] Harald Ganzinger. A Completion Procedure for Conditional Equations , 1987, CTRS.

[6] Tobias Nipkow,et al. Ordered Rewriting and Confluence , 1990, CADE.

[7] Michaël Rusinowitch,et al. Proving refutational completeness of theorem-proving strategies: the transfinite semantic tree method , 1991, JACM.

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

[9] H. Brown,et al. Computational Problems in Abstract Algebra , 1971 .

[10] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..

[11] Hantao Zhang,et al. Contextual Rewriting , 1985, RTA.

[12] Stéphane Kaplan. Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence , 1984, ADT.