Sciweavers

16626 search results - page 170 / 3326
» Computing is a natural science
Sort
View
RTA
2010
Springer
15 years 10 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret