Roland Dietrich

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Sat May 25 09:42:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page