Decomposable maps in general tessellation structures
Equivalence problem of non-deterministic finite automata
Some decision problems concerning sequential transducers and checking automata
Analysis of petri nets by stepwise refinements
Injectivity and surjectivity of parallel maps for cellular automata
On the existence of minimal realizations of linear dynamical systems over Noetherian integral domains
Linear algorithms on recursive representations of trees
On the complexity of computations under varying sets of primitives
Two decidability results for deterministic pushdown automata