Node replacement in hypergraphs: Simulation of hyperedge replacement, and decidability of confluence (Q4645290)
From MaRDI portal
scientific article; zbMATH DE number 6999592
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Node replacement in hypergraphs: Simulation of hyperedge replacement, and decidability of confluence |
scientific article; zbMATH DE number 6999592 |
Statements
Node replacement in hypergraphs: Simulation of hyperedge replacement, and decidability of confluence (English)
0 references
10 January 2019
0 references
derivation step
0 references
graph grammar
0 references
node replacement
0 references
sentential form
0 references
external node
0 references
0 references
