Modern Applications of Automata Theory
From MaRDI portal
Collections of articles of miscellaneous specific interest (00B15) Automata and formal grammars in connection with logical questions (03D05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Modern Applications of Automata Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3618469)