Advanced Search
Now showing items 11-14 of 14
A gradual interpretation of union types
(Springer, 2017)
Efficient compression and indexing of trajectories
(Springer, 2017)
Network congestion games are robust to variable demand
(Springer, 2017)