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

Hiroyuki Izumi, Yasuyoshi Inagaki, Namio Honda

Browse the full ICALP paper archive.