Sciweavers

11909 search results - page 99 / 2382
» The Scheme Programming Language
Sort
View
ICALP
1997
Springer
15 years 7 months ago
An Abstract Data Type for Real Numbers
Pietro Di Gianantonio
91
Voted
ICALP
1997
Springer
15 years 7 months ago
Monadic Simultaneous Rigid E-Unification and Related Problems
Yuri Gurevich, Andrei Voronkov
96
Voted
ICALP
1997
Springer
15 years 7 months ago
Maintaining Minimum Spanning Trees in Dynamic Graphs
Monika Rauch Henzinger, Valerie King
ASPLOS
1996
ACM
15 years 7 months ago
Petal: Distributed Virtual Disks
Edward K. Lee, Chandramohan A. Thekkath