Sciweavers

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