Sciweavers

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