Sciweavers

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