Dietmar Gärtner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

2 Dietmar Gärtner, Werner E. Kluge: pi-Red+ An Interactive Compiling Graph Reduction System for an Applied lambda-Calculus. J. Funct. Program. 6(5): 723-756 (1996)

1992

1 Dietmar Gärtner: pi-Red⁺- ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten lambda-Kalküls. ARCS 1992: 30-41

	1996
2		Dietmar Gärtner, Werner E. Kluge: pi-Red+ An Interactive Compiling Graph Reduction System for an Applied lambda-Calculus. J. Funct. Program. 6(5): 723-756 (1996)
	1992
1		Dietmar Gärtner: pi-Red⁺- ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten lambda-Kalküls. ARCS 1992: 30-41

Coauthor Index

1 Werner E. Kluge [2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

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