Sciweavers

10271 search results - page 144 / 2055
» Computer Science
Sort
View
71
Voted
CTRS
1987
15 years 6 months ago
Solving Goals in Equational Languages
Nachum Dershowitz, G. Sivakumar
64
Voted
MFCS
1989
Springer
15 years 6 months ago
Switching Graphs and Their Complexity
Christoph Meinel