Publikationsansicht

Modularity of confluence: A simplified proof (1994)

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.

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.6346
Quelle	http://www1-c703.uibk.ac.at/~ami/research/papers/ipl94.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Key Words and Phrases, theory of computation, term rewriting systems
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.15.3043, 10.1.1.24.6094, 10.1.1.48.8447, 10.1.1.78.2081, 10.1.1.24.7728, 10.1.1.22.8348, 10.1.1.66.2104, 10.1.1.15.8384, 10.1.1.49.6397, 10.1.1.111.9379, 10.1.1.130.4052