Matrix Insertion-Deletion Systems
Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata
Minimization of Automata
Minimization Strategies for Maximally Parallel Multiset Rewriting Systems
Monitorability of $ω$-regular languages
Monoids and Maximal Codes
Multi-dimensional sets recognizable in all abstract numeration systems
Multidimensional Generalized Automatic Sequences and Shape-symmetric Morphic Words
Multiscale Modelling: A Mobile Membrane Approach
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation
Mutual Mobile Membranes with Timers