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
15 June 2017
0 references
graph transformation
0 references
theorem proving
0 references
0 references
0 references