External Links

    Journal: Theoretical Computer Science

    Volume 2, Issue 3

    271 -- 294Oscar H. Ibarra, Sartaj Sahni, Chul E. Kim. Finite Automata with Multiplication
    295 -- 304Frederick N. Springsteel. On the Pre-AFL of [log n] Space and Related Families of Languages
    305 -- 315Claus-Peter Schnorr. A Lower Bound on the Number of Additions in Monotone Computations
    317 -- 322Matti Soittola. Positive Rational Sequences
    323 -- 337Mariangiola Dezani-Ciancaglini. Characterization of Normal Forms Possessing Inverse in the :::: lambda-beta-mu :::: -Calculus
    339 -- 344Shimon Even, Robert Endre Tarjan. Computing an :::: st :::: -Numbering
    345 -- 360Eliana Minicozzi. Some Natural Properties of Strong-Identification in Inductive Inference
    361 -- 382Harry B. Hunt III, Daniel J. Rosenkrantz, Thomas G. Szymanski. The Covering Problem for Linear Context-Free Grammars
    383 -- 396Wolfgang J. Paul. Realizing Boolean Functions on Disjoint sets of Variables
    397 -- 400Mike Paterson, Leslie G. Valiant. Circuit Size is Nonlinear in Depth

    Volume 2, Issue 298

    275 -- 302Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries. Infinitary lambda calculus and discrimination of Berarducci trees
    303 -- 315Rodney G. Downey, Lance Fortnow. Uniformly hard languages
    317 -- 324Michael R. Fellows, Catherine McCartin. On the parametric complexity of schedules to minimize tardy tasks
    325 -- 346Bakhadyr Khoussainov. On algebraic and logical specifications of classes of regular languages
    347 -- 363Padmanabhan Krishnan. Automatic synthesis of a subclass of schedulers in timed systems
    365 -- 383Eric Martin, Arun Sharma, Frank Stephan. Learning power and language expressiveness

    Volume 2, Issue 2

    133 -- 145Herbert Egli, Robert L. Constable. Computability Concepts for Programming Language Semantics
    147 -- 154Joel I. Seiferas, Robert McNaughton. Regularity-Preserving Relations
    155 -- 181J. W. de Bakker. Least Fixed Points Revisited
    183 -- 207Barry K. Rosen. Correctness of Parallel Programs: The Church-Rosser Approach
    209 -- 223Luc Boasson. Langages Algebriques, Paires Iterantes et Transductions Rationnelles
    225 -- 247Mark B. Trakhtenbrot. Relationships Between Classes of Monotonic Functions
    249 -- 269Bostjan Vilfan. Lower Bounds for the Size of Expressions for Certain Functions in :::: d :::: -Ary Logic

    Volume 2, Issue 1

    1 -- 7Ivan Mezník. On Some Subclasses of the Class of Generable Languages
    9 -- 27Joost Engelfriet. Surface Tree Languages and Parallel Derivation Trees
    29 -- 44Seymour Ginsburg, Jonathan Goldstine, Sheila A. Greibach. Some Uniformly Erasable Families of Languages
    45 -- 48Gregory J. Chaitin. Information-Theoretic Characterizations of Recursive Infinite Strings
    49 -- 71Paul M. B. Vitányi. Deterministic Lindenmayer Languages, Nonterminals and Homomorphisms
    73 -- 76Michael Machtey. Minimal Pairs of Polynomial Degrees with Subexponential Complexity
    77 -- 95Michel Hack. The Equality Problem for Vector Addition Systems is Undecidable
    97 -- 114Jean-Jacques Lévy. An Algebraic Interpretation of the :::: lambda beta :::: K-Calculus; and an Application of a Labelled :::: lambda :::: -Calculus
    115 -- 130Gabor T. Herman, Adrian Walker. On the Stability of some Biological Schemes with Cellular Interactions
    runs on