Sciweavers

11395 search results - page 167 / 2279
» Beyond computer science
Sort
View
138
Voted
RTA
2010
Springer
15 years 11 months ago
Abstract Models of Transfinite Reductions
Patrick Bahr
122
Voted
RTA
2010
Springer
15 years 11 months ago
An Efficient Nominal Unification Algorithm
Jordi Levy, Mateu Villaret
159
Voted
FOCS
2007
IEEE
15 years 11 months ago
Hardness Amplification for Errorless Heuristics
Andrej Bogdanov, Muli Safra
150
Voted
GI
2007
Springer
15 years 11 months ago
Integration of Standardized and Non-Standardized Product Data
Wolfgang Maass, Matthias Lampe