Theorem proving graph grammars with attributes and negative application conditions (Q2358623)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theorem proving graph grammars with attributes and negative application conditions
scientific article

    Statements

    Theorem proving graph grammars with attributes and negative application conditions (English)
    0 references
    0 references
    0 references
    15 June 2017
    0 references
    graph transformation
    0 references
    theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers