DMCA

A Geometric Proof of Confluence by Decreasing Diagrams

by Jan Willem Klop , Vincent van Oostrom , Roel de Vrijer
Citations:2 - 2 self