Korovina, Margarita

• BRICS Report Series No. 23 (2003): RS-23 Recent Advances in Sigma-definability over Continuous Data Types - Articles
  Recent Advances in Σ-definability over Continuous Data Types
  Abstract  PDF
• BRICS Report Series No. 26 (2002): RS-26 Fixed Points on Abstract Structures without the Equality Test - Articles
  Fixed Points on Abstract Structures without the Equality Test
  Abstract  PDF