A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems
A Short Decidability Proof for DPDA Language Equivalence via First-Order Grammars
A state of a dynamic computational structure distributed in an environment: a model and its corollaries
A Sufficient Condition for Hanna Neumann Property of Submonoids of a Free Monoid
A Tighter Bound for the Determinization of Visibly Pushdown Automata
A Type System for a Stochastic CLS
A unifying approach to picture grammars
A weakly universal cellular automaton in the hyperbolic 3D space with three states
Abelian Primitive Words
Abelian returns in Sturmian words
About the embedding of one dimensional cellular automata into hyperbolic cellular automata
Absoluteness of subword inequality is undecidable
Adaptive Scheduling of Data Paths using Uppaal Tiga
Algebraic Linear Orderings
Algebraic Ordinals
Algebraic properties of structured context-free languages: old approaches and novel developments
Algorithms for computing the greatest simulations and bisimulations between fuzzy automata
Algorithms for Glushkov K-graphs
Almost Linear Büchi Automata
Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x^2=x^3