Termination of graph rewriting systems through language theory.

Guillaume Bonfante Miguel Couceiro

Published in: ALGOS (2020)

Keyphrases

rewriting systems
rewriting rules
transformation rules
rewrite rules
natural language
object oriented
sparql queries
knowledge representation
rewrite systems