Theoretical Computer Science logo Elsevier logo

Publisher: Elsevier

Related content
Volume 160, Number 1, 10 June 1996

< previous issue | all issues | next issue >

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

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.

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.

< previous issue | all issues | next issue >

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page