Click a term to refine your current search.
Paper type
- no paper type (2)
Year
- 2000 (2)
... non-equivalent one that still preserves the user’s intended semantics. (Distributed, Journal, no paper type) ...
Publication - cat - 04/17/2013 - 06:16 - 0 comments - 1 attachment
... schema and data state. We provide proof of the algorithm's optimality by establishing the confluence property of our problem search ...
Publication - cat - 04/16/2013 - 07:49 - 0 comments - 1 attachment