Theoretical Computer Science

Relation-algebraic semantics
pp. 1-85(85)
Author: Maddux R.D.

The monadic second-order logic of graphs X: Linear orderings
pp. 87-143(57)
Author: Courcelle B.

Equational programming in -calculus via SL-systems. Part 1
pp. 145-184(40)
Author: Tronci E.

Equational programming in -calculus via SL-systems. Part 2
pp. 185-216(32)
Author: Tronci E.

CGOOD, a categorical graph-oriented object data model
pp. 217-239(23)
Authors: Tuijn C.; Gyssens M.

Completeness of a first-order temporal logic with time-gaps
pp. 241-270(30)
Authors: Baaz M.; Leitsch A.; Zach R.

The power of the ''always'' operator in first-order temporal logic
pp. 271-281(11)
Authors: Kaminski M.; Chung K.W.

SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
pp. 283-303(21)
Author: Yamasaki S.

First-order spectra with one binary predicate
pp. 305-320(16)
Authors: Durand A.; Ranaivoson S.

Querying disjunctive databases through nonmonotonic logics
pp. 321-363(43)
Authors: Bonatti P.A.; Eiter T.

Negative Boolean constraints
pp. 365-380(16)
Authors: Marriott K.; Odersky M.