Sciweavers

10304 search results - page 114 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
73
Voted
RTA
2010
Springer
15 years 5 months ago
Abstract Models of Transfinite Reductions
Patrick Bahr
RTA
2010
Springer
15 years 5 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret