Click a term to refine your current search.
Paper type
- no paper type (1)
- Survey / Bibl. (1)
... Lautemann, S Year: ...
Publication - cat - 04/17/2013 - 13:16 - 0 comments - 0 attachments
... Lautemann, S Year: ...
Publication - cat - 04/17/2013 - 13:05 - 0 comments - 0 attachments
... 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