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
