Travelled to:
1 × Austria
Collaborated with:
T.Aoto Y.Toyama
Talks about:
confluenc (1) persist (1) diagram (1) decreas (1) system (1) rewrit (1) prove (1) term (1)
Person: Kazumasa Uchida
DBLP: Uchida:Kazumasa
Contributed to:
Wrote 1 papers:
- RTA-TLCA-2014-AotoTU #confluence #diagrams #proving #term rewriting
- Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams (TA, YT, KU), pp. 46–60.