|
Search the dblp DataBase
Roland Dietrich:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roland Dietrich, Frank Hagl
A Polymorphic Type System with Subtypes for Prolog. [Citation Graph (1, 0)][DBLP] ESOP, 1988, pp:79-93 [Conf]
- Roland Dietrich
Relating Resolution and Algebraic Completion for Horn Logic. [Citation Graph (0, 0)][DBLP] CADE, 1986, pp:62-78 [Conf]
- Roland Dietrich
How to Use Guarded Functional Programming. [Citation Graph (0, 0)][DBLP] Declarative Programming, 1991, pp:35-50 [Conf]
- Roland Dietrich
A Preprocessor Based Module System for Prolog. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1989, pp:126-139 [Conf]
- Roland Dietrich, Hendrik C. R. Lock
Exploiting Non-Determinism through Laziness in Guarded Functional Languages. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1991, pp:201-216 [Conf]
- Gerhard Goos, Roland Dietrich, Peter Kursawe
Prolog-Arbeiten in Karlsruhe. [Citation Graph (0, 0)][DBLP] Wissensbasierte Systeme, 1987, pp:89-104 [Conf]
Search in 0.001secs, Finished in 0.001secs
|