Sciweavers

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