Sciweavers

17920 search results - page 160 / 3584
» Recentering computer science
Sort
View
89
Voted
RTA
2010
Springer
15 years 8 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret