Semigroup Forum · 1990 · 25 citations · 3 references
EngineeringDomain TheoryAutomated ReasoningMany-valued LogicFormal MethodsComputer ScienceSolid Codes
3
Disjunctive languages on a free monoid
H. J. Shyr · Information and Control · 1977 · 42 citations
Ordered catenation and regular free disjunctive languages
H. J. Shyr · Information and Control · 1980 · 21 citations