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