Sciweavers

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