Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories.

Xerxes D. Arsiwalla Jonathan Gorard Hatem Elshatlawy

Published in: CoRR (2021)

Keyphrases

rewriting systems
rewriting rules
knowledge representation
response time
tree structures