Formal Methods for Data Exchange
Data Exchange, Complexity, Algorithms, Logic, Model Theory, Category Theory, Parallel Algorithms
2009-11-09
2009-11-06