Dietmar Gärtner

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]