Sciweavers

10392 search results - page 166 / 2079
» Introduction to Computer Science
Sort
View
RTA
2010
Springer
15 years 6 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret