Steve Kremer: Implementation of prototypes for equivalence properties

Implementation of prototypes for equivalence properties

Steve Kremer. Implementation of prototypes for equivalence properties. Deliverable AVOTE 2.3, (ANR-07-SESU-002), January 2012. 96 pages.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{avoteD31,
  author =        {Kremer, Steve},
  howpublished =  {Deliverable AVOTE~2.3, (ANR-07-SESU-002)},
  month =         jan,
  note =          {96~pages},
  type =          {Contract Report},
  title =         {Implementation of prototypes for equivalence properties},
  year =          {2012},
  nmonth =        {1},
  url =           {http://www.lsv.ens-cachan.fr/Projects/anr-avote/RAPPORTS/deliv2-3.pdf},
}