Nr. 23 (2003): RS-23 Recent Advances in Sigma-definability over Continuous Data Types

Publiceret: 2003-01-23