Unions of Identifiable Classes of Total Recursive Functions

Kalvis Apsitis, Rusins Freivalds, Martins Krikis, Raimonds Simanovskis, Juris Smotrovs. Unions of Identifiable Classes of Total Recursive Functions. In Klaus P. Jantke, editor, Analogical and Inductive Inference, International Workshop AII 92, Dagstuhl Castle, Germany, October 5-9, 1992, Proceedings. Volume 642 of Lecture Notes in Computer Science, pages 99-107, Springer, 1992.

Abstract

Abstract is missing.