scientific article; zbMATH DE number 3466555
From MaRDI portal
Publication:4051641
Cited in
(9)- Computation on graph-like expressions
- Optimal evaluations of graph-like expressions
- An efficient interpreter for the lambda-calculus
- Generalized AND/OR graphs
- Una classe di schemi ricorsivi non-deterministici paralleli
- Transformations of structures: An algebraic approach
- scientific article; zbMATH DE number 3548479 (Why is no real title available?)
- Distributive semantics for nondeterministic typed -calculi
- On graph rewritings
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 Q4051641)