Gisela Schäfer-Richter
According to our database1,
Gisela Schäfer-Richter
authored at least 7 papers
between 1983 and 1990.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
1990
Bericht vom 3. Workshop "Qualitatives Schließen".
Künstliche Intell., 1990
Proceedings of the Expert Systems in Engineering, 1990
1989
A Time Logic for Hierarchical Modelling of Dynamic Systems.
J. Inf. Process. Cybern., 1989
1985
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.
Math. Log. Q., 1985
Some results in the theory of effective program synthesis: learning by defective information.
Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985
1984
1983