Sciweavers

15784 search results - page 188 / 3157
» Mega Software Engineering
Sort
View
142
Voted
AADEBUG
1993
Springer
15 years 11 months ago
Debugging Logic Programs Using Specifications
Yuh-Jeng Lee, Nachum Dershowitz
168
Voted
AC
1993
Springer
15 years 11 months ago
Automatic Groups and String Rewriting
Robert H. Gilman
AC
1993
Springer
15 years 11 months ago
Examples of Termination
Nachum Dershowitz