Sciweavers

12052 search results - page 149 / 2411
» computer 2010
Sort
View
102
Voted
NPAR
2010
ACM
15 years 8 months ago
Visual explanations
Douglas DeCarlo, Matthew Stone
84
Voted
RTA
2010
Springer
15 years 7 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret