External Links

    Journal: J. Comput. Syst. Sci.

    Volume 18, Issue 3

    213 -- 217Arthur G. Werschulz. Optimal Order for Approximation of Derivatives
    218 -- 227David A. Poplawski. On LL-Regular Grammars
    228 -- 242Susanna Ginali. Regular Trees and the Free Iterative Theory
    243 -- 253Hiroakira Ono, Akira Nakamura. Undecidability of the First-Order Arithmetic A[P(x), 2x, x+1]
    254 -- 266Emily P. Friedman, Sheila A. Greibach. Monadic Recursion Schemes: The Effect of Constants
    267 -- 280Gheorghe Paun. On the Family of Finite Index Matrix Languages
    281 -- 293Elaine J. Weyuker. Modifications of the Program Scheme Model
    294 -- 303Dan Gordon. Complexity Classes of Provable Recursive Functions
    304 -- 306Paulo A. S. Veloso, Arthur Gill. Some Remarks on Multiple-Entry Finite Automata
    307 -- 333Michel Latteux. Cônes rationnels commutatifs

    Volume 18, Issue 2

    110 -- 127Robert Endre Tarjan. A Class of Algorithms which Require Nonlinear Time to Maintain Disjoint Sets
    128 -- 142Gary L. Miller. Graph Isomorphism, General Remarks
    143 -- 154Larry Carter, Mark N. Wegman. Universal Classes of Hash Functions
    155 -- 193Dana Angluin, Leslie G. Valiant. Fast Probabilistic Algorithms for Hamiltonian Circuits and Matchings
    194 -- 211Michael J. Fischer, Richard E. Ladner. Propositional Dynamic Logic of Regular Programs

    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
    runs on