External Links

    Journal: Theoretical Computer Science

    Volume 65, Issue 3

    271 -- 290Hirofumi Yokouchi. Church-Rosser Theorem for a Rewriting System on Categorical Combinators
    291 -- 342Thérèse Hardin. Confluence Results for the Pure Strong Categorical Logic CCL: lambda-Calculi as Subsystems of CCL
    343 -- 371John C. Shepherdson. A Sound and Complete Semantics for a Version of Negation as Failure

    Volume 65, Issue 2

    123 -- 130Jean-Paul Allouche. On a Sequence of Rational Functions
    131 -- 141François Blanchard. beta-Expansions and Symbolic Dynamics
    143 -- 148Noëlle Bleuzen-Guernalec. On a Possible Classification of Real-Time Constructed Sequences
    149 -- 152F. M. Dekking. On the Probability of Occurrence of Labelled Subtrees of a Randomly Labelled Tree
    153 -- 169Jean-Marie Dumont, Alain Thomas. Systemes de Numeration et Fonctions Fractales Relatifs aux Substitutions
    171 -- 188Georges Hansel, Dominique Perrin. Rational Probability Measures
    189 -- 196Peter Hellekalek, Gerhard Larcher. On Weyl Sums and Skew Products over Irrational Rotations
    197 -- 212Cor Kraaikamp. Statistic and Ergodic Properties of Minkowski s Diagonal Continued Fraction
    213 -- 220M. Mendes France, Alfred J. van der Poorten. From Geometry to Euler Identities
    221 -- 242Filippo Mignosi. Infinite Words with Linear Subword Complexity
    243 -- 248Makoto Mori. On the Fredholm Determinant of a Piecewise Linear Transformation
    249 -- 263Brigitte Mossé. q-Adic Spectral Analysis of Some Arithmetic Sequences
    265 -- 270Antonio Restivo. Finitely Generated Sofic Systems

    Volume 65, Issue 1

    1 -- 33Patrice Enjalbert, Luis Fariñas del Cerro. Modal Resolution in Clausal Form
    35 -- 83Martín Abadi. The Power of Temporal Proofs
    85 -- 119Satish R. Thatte. Full Abstraction and Limiting Completeness in Equational Languages
    runs on