Stéphanie Delaune: Algorithms for observational equivalence

Algorithms for observational equivalence

Stéphanie Delaune. Algorithms for observational equivalence. Deliverable AVOTE 2.2, (ANR-07-SESU-002), January 2011. 118 pages

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{avote-D22,
  author =        {Delaune, St{\'e}phanie},
  howpublished =  {Deliverable AVOTE~2.2, (ANR-07-SESU-002)},
  month =         jan,
  note =          {118~pages},
  type =          {Contract Report},
  title =         {Algorithms for observational equivalence},
  year =          {2011},
  nmonth =        {1},
  lsv-category =  {cont},
  wwwpublic =     {perso},
}