Sciweavers

13306 search results - page 113 / 2662
» Theoretical Computer Science
Sort
View
RANDOM
1998
Springer
15 years 2 months ago
The "Burnside Process" Converges Slowly
Leslie Ann Goldberg, Mark Jerrum
RTA
1998
Springer
15 years 2 months ago
Higher-Order Rewriting and Partial Evaluation
Olivier Danvy, Kristoffer Høgsbro Rose