Gisela Schäfer-Richter

According to our database, Gisela Schäfer-Richter authored at least 7 papers between 1981 and 1990.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1990

Bericht vom 3. Workshop "Qualitatives Schließen".

Gisela Schäfer-Richter

Künstliche Intell., 1990

SIDIA: Extending Prediction Based Diagnosis to Dynamic Models.

Thomas Guckenbiehl, Gisela Schäfer-Richter

Proceedings of the Expert Systems in Engineering, 1990

1989

A Time Logic for Hierarchical Modelling of Dynamic Systems.

Gisela Schäfer-Richter

J. Inf. Process. Cybern., 1989

1985

A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.

Gisela Schäfer

Math. Log. Q., 1985

Some results in the theory of effective program synthesis: learning by defective information.

Gisela Schäfer

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984

Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien.

Gisela Schäfer-Richter

PhD thesis, 1984

1981

Admissible Representations of Effective CPO's.

Klaus Weihrauch, Gisela Schäfer

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981