default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-08 22:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
