Travelled to:
1 × Belgium
Collaborated with:
Y.Inagaki N.Honda
Talks about:
regular (1) express (1) complet (1) algebra (1) system (1) close (1) axiom (1)
Person: Hiroyuki Izumi
DBLP: Izumi:Hiroyuki
Contributed to:
Wrote 1 papers:
- ICALP-1984-IzumiIH #algebra #axiom #regular expression
- A Complete Axiom System for Algebra of Closed-Regular Expression (HI, YI, NH), pp. 260–269.