Sciweavers

88

Voted

AC
1993
Springer

77views Software Engineering» more AC 1993»

Introduction to Rewriting

15 years 9 months ago

Introduction to Rewriting

Download web.cecs.pdx.edu

Jean-Pierre Jouannaud

claim paper

Read More »

82

Voted

AC
1993
Springer

77views Software Engineering» more AC 1993»

Examples of Termination

15 years 9 months ago

Examples of Termination

Download www.cs.tau.ac.il

Nachum Dershowitz

claim paper

Read More »

128

AC
1993
Springer

80views Software Engineering» more AC 1993»

Automatic Groups and String Rewriting

15 years 9 months ago

Automatic Groups and String Rewriting

Download www.math.stevens.edu

Robert H. Gilman

claim paper

Read More »