Abstract

In this note we present a simple proof of a result of Toyama which states that the disjoint union of confluent term rewriting systems is confluent.

BibTeX Entry

@article{KMTdV-IPL94,
 author    = "Jan Willem Klop and Aart Middeldorp and Yoshihito Toyama and
              Roel de Vrijer",
 title     = "Modularity of Confluence: A Simplified Proof",
 journal   = "Information Processing Letters",
 volume    = 49,
 number    = 2,
 pages     = "101--109",
 year      = 1994
 doi       = "10.1016/0020-0190(94)90034-5"
}