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 × Serbia
1 × Spain
2 × Japan
Collaborated with:
N.Nishida M.Sakai A.Yamada K.Kusakari Y.Inagaki N.Honda
Talks about:
partial (2) system (2) rewrit (2) term (2) determinist (1) constructor (1) properti (1) polynomi (1) abstract (1) unravel (1)

Person: Toshiki Sakabe

DBLP DBLP: Sakabe:Toshiki

Contributed to:

PPDP 20132013
RTA 20112011
RTA 20052005
ICSE 19821982

Wrote 4 papers:

PPDP-2013-YamadaKS #order #polynomial #recursion
Unifying the Knuth-Bendix, recursive path and polynomial orders (AY, KK, TS), pp. 181–192.
RTA-2011-NishidaSS #term rewriting
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity (NN, MS, TS), pp. 267–282.
RTA-2005-NishidaSS #term rewriting
Partial Inversion of Constructor Term Rewriting Systems (NN, MS, TS), pp. 264–278.
ICSE-1982-SakabeIH #data type #specification
Specification of Abstract Data Types with Partially Defined Operations (TS, YI, NH), pp. 218–224.
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.