External Links

    Journal: Theoretical Computer Science

    Volume 70, Issue 3

    277 -- 303Andrzej Ehrenfeucht, Grzegorz Rozenberg. Theory of 2-Structures, Part I: Clans, Basic Subclasses, and Morphisms
    305 -- 342Andrzej Ehrenfeucht, Grzegorz Rozenberg. Theory of 2-Structures, Part II: Representation Through Labeled Tree Families
    343 -- 358Andrzej Ehrenfeucht, Grzegorz Rozenberg. Primitivity is Hereditary for 2-Structures

    Volume 70, Issue 2

    179 -- 192Jerzy Tiuryn, David B. Benson. Fixed Points in Free Process Algebras, Part II
    193 -- 211Giuseppe Longo, Eugenio Moggi. A Category-Theoretic Characterization of Functional Completeness
    213 -- 232Géraud Sénizergues. A Characterisation of Deterministic Context-Free Languages by Means of Right-Congruences
    233 -- 250Achim Jung. Cartesian Closed Categories of Algebraic CPOs
    251 -- 260Giorgio Gambosi, Jaroslav Nesetril, Maurizio Talamo. On Locally Presented Posets
    261 -- 271Alain Terlutte. Cyclic Rational Transductions and Polynomials of Rational Functions
    273 -- 274Jozef Vyskoc. Corrigendum: An O(n^lgk . 2^n/2) Time and O(k . 2^n/2) Space Algorithm for Certain NP-Complete Problems
    275 -- 0Martín Abadi. Corrigendum: The Power of Temporal Proofs

    Volume 70, Issue 1

    3 -- 34Eric G. Wagner. Algebras, Polynomials and Programs
    35 -- 64E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, Philip J. Scott. Functorial Polymorphism
    65 -- 72Michael Barr. Fixed Points in Cartesian Closed Categories
    73 -- 83Stephen L. Bloom. A Note on Guarded Theories
    85 -- 97Philip S. Mulry. Categorical Fixed Point Semantics
    99 -- 126Hanne Riis Nielson, Flemming Nielson. Functional Completeness of the Mixed lambda-Calculus and Combinatory Logic
    127 -- 150Ana Pasztor. Recursive Programs and Denotational Semantics in Absolute Logics of Programs
    151 -- 158Claudia Böttinger. On Scott s Thesis for Domains of Information and Well-Quasi-Orderings
    159 -- 178Charles Wells. A Generalization of the Concept of Sketch
    runs on