Sciweavers

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