scientific article; zbMATH DE number 3390672

zbMATH Open0246.94030MaRDI QIDQ5659468FDOQ5659468

Leonid Efimovich Sadovskiĭ, V. N. Lifshits

Publication date: 1972

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02) Semigroups in automata theory, linguistics, etc. (20M35) Categories of machines, automata (18B20)

Cited In (1)

• LTL-specification for development and verification of control programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5659468)