Sciweavers

10447 search results - page 154 / 2090
» The Philosophy of Computer Science
Sort
View
RTA
2010
Springer
14 years 2 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret