Modularity of confluence: A simplified proof

Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel de Vrijer

Research output: Contribution to journalArticlepeer-review

22 Citations (Scopus)


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

Original languageEnglish
Pages (from-to)101-109
Number of pages9
JournalInformation Processing Letters
Issue number2
Publication statusPublished - 1994 Jan 28


  • Confluence
  • Modularity
  • Term rewriting systems
  • Theory of computation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications


Dive into the research topics of 'Modularity of confluence: A simplified proof'. Together they form a unique fingerprint.

Cite this