Closedness Properties in EX-Identification of Recursive Functions.

Thu, 01 Jan 1998 00:00:00 +0100

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