Sciweavers

15974 search results - page 257 / 3195
» Object-Oriented Software Engineering
Sort
View
119
Voted
AC
1993
Springer
15 years 8 months ago
Automatic Groups and String Rewriting
Robert H. Gilman
71
Voted
AC
1993
Springer
15 years 8 months ago
Examples of Termination
Nachum Dershowitz
76
Voted
AC
1993
Springer
15 years 8 months ago
Introduction to Rewriting
Jean-Pierre Jouannaud
AMAST
1993
Springer
15 years 8 months ago
Peirce Algebras
Chris Brink, Katarina Britz