Advanced Search
Now showing items 11-14 of 14
A gradual interpretation of union types
(Springer, 2017)
A formal framework for comparing linked data fragments
(Springer, 2017)
Long term behavior of dynamic equilibria in fluid queuing networks
(Springer, 2017)