External Links

    Journal: Theoretical Computer Science

    Volume 5, Issue 3

    225 -- 255Gordon D. Plotkin. LCF Considered as a Programming Language
    257 -- 274Michael B. Smyth. Effectively given Domains
    275 -- 305Calvin C. Elgot, Lawrence Snyder. On the Many Facets of Lists
    307 -- 320Seymour Ginsburg, Edwin H. Spanier. Pushdown Acceptor Forms
    321 -- 324Horst Luckhardt. A Fundamental Effect in Computations on Real Numbers
    325 -- 337Christian Choffrut. Une Caracterisation des Fonctions Sequentielles et des Fonctions Sous-Sequentielles en tant que Relations Rationnelles
    339 -- 354Grzegorz Rozenberg, Martti Penttonen, Arto Salomaa. Bibliography of L Systems

    Volume 5, Issue 2

    101 -- 111Arnaldo Mandel, Imre Simon. On Finite Semigroups of Matrices
    113 -- 128Armin B. Cremers, Thomas N. Hibbard. On the Formal Definiton of Dependencies between the Control and Information Structure of a Data Space
    129 -- 134Michel Latteux. Produit dans le Cône Rationnel Engendré par ::::D::::
    135 -- 177Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch. Pascal in LCF: Semantics and Examples of Proof
    179 -- 182Zvi Galil, Nimrod Megiddo. Cyclic Ordering is NP-Complete
    183 -- 204Gérard Jacob. Un Algorithme Calculant le Cardinal, Fini ou Infini, des Demi-Groupes de Matrices
    205 -- 209M. D. Atkinson. The Complexity of Group Algebra Computations
    211 -- 217Juhani Karhumäki. Remarks on Commutative ::::N:::: -Rational Series
    219 -- 0Christophe Reutenauer. On a Question of S. Eilenberg

    Volume 5, Issue 1

    1 -- 23Walter A. Burkhard. Non-Uniform Partial-Match File Designs
    25 -- 50Y. S. Kwong. On Reduction of Asynchronous Systems
    51 -- 84Laurent Chottin. Etude Syntaxique de Certains Langages Solutions d Equations avec Operateurs
    85 -- 100Joost Engelfriet. Iterating Iterated Substitution
    runs on