On the Church-Rosser property for the direct sum of term rewriting systems

Yoshihito Toyama

Research output: Contribution to journalArticle

123 Citations (Scopus)

Fingerprint Dive into the research topics of 'On the Church-Rosser property for the direct sum of term rewriting systems'. Together they form a unique fingerprint.

Engineering & Materials Science