confluence

property of abstract rewriting systems

Kategoriler: