scientific article; zbMATH DE number 1231498

MaRDI QIDQ4222808zbMATH OpenFDO

Authors Sabine Kuske

Publication date 13 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#kuske

zbMATH Keywords

\(\lambda\)-calculushypergraph rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Sharing implementations of graph rewriting systems
• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• Bottom-up -reduction: uplinks and -DAGs
• scientific article; zbMATH DE number 1086663

Cited in

(9)

• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• Unification of hypergraph \(\lambda\)-terms
• scientific article; zbMATH DE number 1722667 (Why is no real title available?)
• Implementing \(\mathcal{X}\)
• Bottom-up -reduction: uplinks and -DAGs
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• scientific article; zbMATH DE number 4047140 (Why is no real title available?)
• Programming Languages and Systems
• A chemical abstract machine for graph reduction extended abstract

Describes a project that uses

Uses Software

• PLUMP

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222808)