Sciweavers

15824 search results - page 182 / 3165
» Specialising in Software Engineering
Sort
View
AC
1993
Springer
15 years 8 months ago
Examples of Termination
Nachum Dershowitz
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