Sciweavers

15778 search results - page 48 / 3156
» Aikido and software engineering
Sort
View
AC
1993
Springer
15 years 10 months ago
Examples of Termination
Nachum Dershowitz
AC
1993
Springer
15 years 10 months ago
Introduction to Rewriting
Jean-Pierre Jouannaud
AMAST
1993
Springer
15 years 10 months ago
Peirce Algebras
Chris Brink, Katarina Britz