Cited in
(31)- Compiling collapsing rules in certain constructor systems
- Properties of a first-order functional language with sharing
- scientific article; zbMATH DE number 177788 (Why is no real title available?)
- On ``On graph rewritings
- Term graph rewriting and garbage collection using opfibrations
- Graph transformation for specification and programming
- scientific article; zbMATH DE number 1254027 (Why is no real title available?)
- On the interleaving semantics of transformation units -- a step into GRACE
- scientific article; zbMATH DE number 125890 (Why is no real title available?)
- Graph transformation units with interleaving semantics
- GraphEd
- DIEGO
- PROGRES
- MONSTR
- Hy+
- scientific article; zbMATH DE number 4052984 (Why is no real title available?)
- An operational semantics for paragon: A design notation for parallel architectures
- scientific article; zbMATH DE number 1543055 (Why is no real title available?)
- scientific article; zbMATH DE number 1418475 (Why is no real title available?)
- Directed Graph Pattern Matching and Topological Embedding
- Hierarchical graph transformation
- Strongly reducing variants of the Krivine abstract machine
- On term-graph rewrite strategies
- Transitive term graph rewriting
- Three Syntactic Theories for Combinatory Graph Reduction
- Relating graph and term rewriting via Böhm models
- scientific article; zbMATH DE number 1701353 (Why is no real title available?)
- scientific article; zbMATH DE number 177452 (Why is no real title available?)
- Generating irregular partitionable data structures
- Modeling pointer redirection as cyclic term-graph rewriting
- On graph rewriting, reduction, and evaluation in the presence of cycles
This page was built for software: DACTL
