Travelled to:
1 × Germany
Collaborated with:
N.Hirokawa
Talks about:
confluenc (1) system (1) rewrit (1) linear (1) tool (1) term (1) left (1)
Person: Kiraku Shintani
DBLP: Shintani:Kiraku
Contributed to:
Wrote 1 papers:
- CADE-2015-ShintaniH #confluence #linear #named #term rewriting
- CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems (KS, NH), pp. 127–136.