Korovina, Margarita
-
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 -
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