author-photo

Dietmar Gärtner

University of Kiel

3

Papers

11

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Smart Data Katastrophenmanagement – Möglichkeiten einer Informationsplattform für die Einsatzleitung am Beispiel Hochwasser

2018
Show All
- Source
- Cite
- Save
Citations (0)
π-RED + An interactive compiling graph reduction system for an applied λ-calculus

1996 Journal of Functional Programming
- Dietmar Gärtner
- Werner E. Kluge
Show All
- Source
- Cite
- Save
Citations (10)
pi-Red+- ein codeausführendes Reduktionssystem zur Transformation von Programmen eines angewandten lambda-Kalküls

1992 ARCS | Automation, Robotics and Control Systems
- Dietmar Gärtner
Show All
- Source
- Cite
- Save
Citations (1)