Theoretical Computer Science
, Volume 160
Volume 160, Numbers 1&2, 10 June 1996
Roger D. Maddux
:
Relation-Algebraic Semantics.
1-85
Bruno Courcelle
:
The Monadic Second-Order Logic of Graphs X: Linear Orderings.
87-143
Enrico Tronci
:
Equational Programming in Lambda-Calculus via SL-Systems. Part 1.
145-184
Enrico Tronci
:
Equational Programming in Lambda-Calculus via SL-Systems. Part 2.
185-216
Chris Tuijn
,
Marc Gyssens
:
CGOOD, a Categorical Graph-Oriented Object Data Model.
217-239
Matthias Baaz
,
Alexander Leitsch
,
Richard Zach
:
Completeness of a First-Order Temporal Logic with Time-Gaps.
241-270
Michael Kaminski
,
Chung Kei Wong
:
The Power of the "Always" Operator in First-Order Temporal Logic.
271-281
Susumu Yamasaki
:
SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs.
283-303
Arnaud Durand
,
Solomampionona Ranaivoson
:
First-Order Spectra with one Binary Predicate.
305-320
Piero A. Bonatti
,
Thomas Eiter
:
Querying Disjunctive Databases Through Nonmonotonic Logics.
321-363
Kim Marriott
,
Martin Odersky
:
Negative Boolean Constraints.
365-380
Last update Fri May 24 20:53:08 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
Data released under the ODC-BY 1.0 license — See also our legal information page
