Login / Signup
Gisela Schäfer
Publication Activity (10 Years)
Years Active: 1981-1985
Publications (10 Years): 0
</>
Publications
</>
Gisela Schäfer
Some results in the theory of effective program synthesis: learning by defective information.
Mathematical Methods of Specification and Synthesis of Software Systems
(1985)
Gisela Schäfer
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.
Math. Log. Q.
31 (14-18) (1985)
Klaus Weihrauch
,
Gisela Schäfer
Admissible Representations of Effective CPO's.
Theor. Comput. Sci.
26 (1983)
Klaus Weihrauch
,
Gisela Schäfer
Admissible Representations of Effective CPO's.
MFCS
(1981)