Efficient decision procedures for graph properties on context-free graph languages (Q5286167)
From MaRDI portal
scientific article; zbMATH DE number 223633
Language | Label | Description | Also known as |
---|---|---|---|
English | Efficient decision procedures for graph properties on context-free graph languages |
scientific article; zbMATH DE number 223633 |
Statements
Efficient decision procedures for graph properties on context-free graph languages (English)
0 references
29 June 1993
0 references
context-free graph grammars
0 references
hyperedge replacement systems
0 references
complexity
0 references
combinatorial algorithms
0 references
cellular graph grammar
0 references
decision procedure
0 references