dblp.uni-trier.dewww.uni-trier.de

Roland Dietrich Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1992
7 John Darlington, Roland Dietrich: Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 Springer 1992
1991
6 Roland Dietrich: How to Use Guarded Functional Programming. Declarative Programming 1991: 35-50
5EERoland Dietrich, Hendrik C. R. Lock: Exploiting Non-Determinism through Laziness in Guarded Functional Languages. TAPSOFT, Vol.2 1991: 201-216
1989
4EERoland Dietrich: A Preprocessor Based Module System for Prolog. TAPSOFT, Vol.2 1989: 126-139
1988
3EERoland Dietrich, Frank Hagl: A Polymorphic Type System with Subtypes for Prolog. ESOP 1988: 79-93
1987
2 Gerhard Goos, Roland Dietrich, Peter Kursawe: Prolog-Arbeiten in Karlsruhe. Wissensbasierte Systeme 1987: 89-104
1986
1EERoland Dietrich: Relating Resolution and Algebraic Completion for Horn Logic. CADE 1986: 62-78

Coauthor Index

1John Darlington [7]
2Gerhard Goos [2]
3Frank Hagl [3]
4Peter Kursawe [2]
5Hendrik C. R. Lock [5]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)