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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references