Classifying regular events in symbolic logic 论文

1982Journal of Computer and System Sciences引用 336
semigroups and automata theoryNatural Language Processing TechniquesLogic, programming, and type systems