Sciweavers

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