Ignore:
Timestamp:
Feb 6, 2013, 9:32:13 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/itp-2013/ccexec.bib

    r2621 r2626  
    413413  INIauthor    = {R. Amadio and A. Asperti and N. Ayache and
    414414                  B. Campbell and D. Mulligan and R. Pollack and
    415                   Y. R{\'e}gis-Gianas and C. Sacerdoti Coen and I.
     415                  Y. R{\'e}gis-Gianas and C. {Sacerdoti Coen} and I.
    416416                  Stark},
    417417  author    = {Roberto Amadio and Andrea Asperti and Nicholas Ayache and
    418418                  Brian Campbell and Dominic Mulligan and Randy Pollack and
    419                   Yann R{\'e}gis-Gianas and Claudio Sacerdoti Coen and Ian
     419                  Yann R{\'e}gis-Gianas and Claudio {Sacerdoti Coen} and Ian
    420420                  Stark},
    421421  title     = {Certified Complexity},
Note: See TracChangeset for help on using the changeset viewer.