Roland Dietrich

According to our database, Roland Dietrich authored at least 7 papers between 1986 and 1991.

Collaborative distances:

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

1991

Exploiting Non-Determinism through Laziness in Guarded Functional Languages.

Roland Dietrich, Hendrik C. R. Lock

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

How to Use Guarded Functional Programming.

Roland Dietrich

Proceedings of the Declarative Programming, 1991

1990

Vergleichende Analyse von Inferenzsystemen.

Roland Dietrich

PhD thesis, 1990

1989

A Preprocessor Based Module System for Prolog.

Roland Dietrich

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988

A Polymorphic Type System with Subtypes for Prolog.

Roland Dietrich, Frank Hagl

Proceedings of the ESOP '88, 1988

1987

Prolog-Arbeiten in Karlsruhe.

Gerhard Goos, Roland Dietrich, Peter Kursawe

Proceedings of the Wissensbasierte Systeme, 1987

1986

Relating Resolution and Algebraic Completion for Horn Logic.

Roland Dietrich

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986