Michael Benedikt January 24, 2014 Michael Benedikt Oxford University external web page Michael Benedikt has 1 talk in our database: CUNY Logic Workshop February 21, 2014 The proof/plan correspondence in databases Bell LabsOxfordUniversity of Wisconsincomputer science