Werner Kluge

Available identifiers

zbMath Open kluge.werner-eMaRDI QIDQ1769929

List of research outcomes

Publication	Date of Publication	Type
Abstract λ-Calculus Machines	2009-02-03	Paper
Abstract computing machines. A lambda calculus perspective.	2005-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q2763392	2002-01-15	Paper
π-RED+ An interactive compiling graph reduction system for an applied λ-calculus	1997-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q4028177	1993-03-28	Paper
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3779753	1987-01-01	Paper
Petri Net Models for the Evaluation of Applicative Programs Based on λ-Expressions	1983-01-01	Paper
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes	1982-01-01	Paper
Traversing Binary Tree Structures with Shift-Register Memories	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Werner Kluge