Sciweavers

10304 search results - page 267 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
RTA
2007
Springer
15 years 8 months ago
Sequence Unification Through Currying
Temur Kutsia, Jordi Levy, Mateu Villaret
SOFSEM
2007
Springer
15 years 8 months ago
Rapid Development of Web Interfaces to Heterogeneous Systems
José Paulo Leal, Marcos Aurélio Domi...
STACS
2007
Springer
15 years 8 months ago
Characterizing Minimal Interval Completions
Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve...
TLCA
2007
Springer
15 years 8 months ago
The Safe Lambda Calculus
William Blum, C.-H. Luke Ong