BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kusakari:Keiichirou

Contributed to:

PPDP 20132013
PPDP 19991999
CSL 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.