Skip to Main content
Number of documents

1

CV HAL : Andrei Romashchenko


See more detailes on my homepage


Dale Miller   

Conference papers1 document

  • Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, et al.. FICS 2010. 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89. ⟨hal-00512377⟩