ML Anthology

Simanovskis, Raimonds

1 publications

ALT 1998 Closedness Properties in EX-Identification of Recursive Functions Kalvis Apsitis, Rusins Freivalds, Raimonds Simanovskis, Juris Smotrovs