External Links

    Journal: Theoretical Computer Science

    Volume 160, Issue 1&2

    1 -- 85Roger D. Maddux. Relation-Algebraic Semantics
    87 -- 143Bruno Courcelle. The Monadic Second-Order Logic of Graphs X: Linear Orderings
    145 -- 184Enrico Tronci. Equational Programming in Lambda-Calculus via SL-Systems. Part 1
    185 -- 216Enrico Tronci. Equational Programming in Lambda-Calculus via SL-Systems. Part 2
    217 -- 239Chris Tuijn, Marc Gyssens. CGOOD, a Categorical Graph-Oriented Object Data Model
    241 -- 270Matthias Baaz, Alexander Leitsch, Richard Zach. Completeness of a First-Order Temporal Logic with Time-Gaps
    271 -- 281. The Power of the Always Operator in First-Order Temporal Logic
    283 -- 303Susumu Yamasaki. SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs
    305 -- 320Arnaud Durand, Solomampionona Ranaivoson. First-Order Spectra with one Binary Predicate
    321 -- 363Piero A. Bonatti, Thomas Eiter. Querying Disjunctive Databases Through Nonmonotonic Logics
    365 -- 380Kim Marriott, Martin Odersky. Negative Boolean Constraints
    runs on