Classifying regular events in symbolic logic 论文

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

Classifying regular events in symbolic logic · 作者