Journal: J. Comput. Syst. Sci.

Volume 18, Issue 1

1 -- 7Jon T. Butler. Decomposable Maps in General Tessellation Structures
8 -- 17Akihiro Nozaki. Equivalence Problem of Non-Deterministic Finite Automata
18 -- 34Eitan M. Gurari, Oscar H. Ibarra. Some Decision Problems Concerning Sequential Transducers and Checking Automata
35 -- 46Robert Valette. Analysis of Petri Nets by Stepwise Refinements
47 -- 64Akira Maruoka, Masayuki Kimura. Injectivity and Surjectivity of Parallel Maps for Cellular Automata
65 -- 75Yves Rouchaleau, Eduardo D. Sontag. On the Existence of Minimal Realizations of Linear Dynamical Systems over Noetherian Integral Domains
76 -- 85Sandra L. Mitchell, Ernest J. Cockayne, Stephen T. Hedetniemi. Linear Algorithms on Recursive Representations of Trees
86 -- 91David P. Dobkin, Richard J. Lipton. On the Complexity of Computations under Varying Sets of Primitives
92 -- 107Matti Linna. Two Decidability Results for Deterministic Pushdown Automata