## Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda

*A Complete Axiom System for Algebra of Closed-Regular Expression*

ICALP, 1984.

@inproceedings{ICALP-1984-IzumiIH, author = "Hiroyuki Izumi and Yasuyoshi Inagaki and Namio Honda", booktitle = "{Proceedings of the 11th Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-13345-3_23", isbn = "3-540-13345-3", pages = "260--269", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Complete Axiom System for Algebra of Closed-Regular Expression}", volume = 172, year = 1984, }