Skip to Main content
Number of documents


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⟩