Information and Control · 1980 · 21 citations · 3 references
Order TheorySyntaxAutomated ReasoningGrammarLanguage StudiesHigher-order LogicLinguisticsLogical Formalism
3
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.8K citations
Disjunctive languages on a free monoid
H. J. Shyr · Information and Control · 1977 · 42 citations