Transitive term graph rewriting (Q1350096)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Transitive term graph rewriting |
scientific article |
Statements
Transitive term graph rewriting (English)
0 references
27 February 1997
0 references
Distributed computing
0 references
Programming languages
0 references
Term graph rewriting
0 references
Transitive redirections
0 references
Packet store rewriting
0 references
DACTL
0 references
MONSTR
0 references