Travelled to:
1 × France
1 × Spain
Collaborated with:
A.Yamada T.Sakabe M.Nakamura Y.Toyama A.Y.0002 C.Sternagel R.Thiemann
Talks about:
transform (1) polynomi (1) argument (1) revisit (1) recurs (1) filter (1) depend (1) bendix (1) unifi (1) order (1)
Person: Keiichirou Kusakari
DBLP: Kusakari:Keiichirou
Contributed to:
Wrote 3 papers:
- PPDP-2013-YamadaKS #order #polynomial #recursion
- Unifying the Knuth-Bendix, recursive path and polynomial orders (AY, KK, TS), pp. 181–192.
- PPDP-1999-KusakariNT
- Argument Filtering Transformation (KK, MN, YT), pp. 47–61.
- CSL-2016-0002STK #dependence #revisited
- AC Dependency Pairs Revisited (AY0, CS, RT, KK), p. 16.