Confluence up to garbage in graph transformation.

Graham Campbell Detlef Plump

Published in: Theor. Comput. Sci. (2021)

Keyphrases

graph transformation
garbage collection
rewrite systems
object oriented
open source
data sets
artificial intelligence
knowledge base