Travelled to:1 × Belgium
1 × Japan
1 × USA
Collaborated with:N.Honda T.Naoi H.Izumi T.Sakabe
Talks about:algebra (2) system (2) abstract (1) regular (1) partial (1) express (1) complex (1) complet (1) specif (1) semant (1)
Person: Yasuyoshi Inagaki
DBLP: Inagaki:Yasuyoshi
Contributed to:
1989
1984
1982Wrote 3 papers:
- RTA-1989-NaoiI #algebra #complexity #semantics #term rewriting
- Algebraic Semantics and Complexity of Term Rewriting Systems (TN, YI), pp. 311–325.
- ICALP-1984-IzumiIH #algebra #axiom #regular expression
- A Complete Axiom System for Algebra of Closed-Regular Expression (HI, YI, NH), pp. 260–269.
- ICSE-1982-SakabeIH #data type #specification
- Specification of Abstract Data Types with Partially Defined Operations (TS, YI, NH), pp. 218–224.