


default search action
Theoretical Computer Science, Volume 78
Volume 78, Number 1, 21 January 1991
- Georges Gardarin:

Selected Papers of the Workshop on Deductive Database Theory, Illiers-Combray, France, 1989, Forword. Theor. Comput. Sci. 78(1): 1 (1991) - Nicole Bidoit:

Negation in Rule-Based Database Languages: A Survey. 3-83 - Nicole Bidoit, Christine Froidevaux:

Negation by Default and Unstratifiable Logic Programs. 86-112 - Véronique Royer:

The Semantics of Incomplete Databases as an Expression of Preferences. 113-136 - Serge Abiteboul, Eric Simon:

Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. 137-158 - Serge Abiteboul, Paris C. Kanellakis, Gösta Grahne:

On the Representation and Querying of Sets of Possible Worlds. 158-187 - Jean-Paul Delahaye, V. Thibau:

Programming in Three-valued Logic. 189-216 - Bruno Courcelle:

Recursive Queries and Context-free Graph Grammars. 217-244 - Robert Demolombe:

An Efficient Strategy for Non-Horn Deductive Databases. 245-259
Volume 78, Number 2, 1991
- Joost Engelfriet, Heiko Vogler:

Modular Tree Transducers. 267-303 - Rodney G. Downey:

On Computational Complexity and Honest Polynomial Degrees. 305-317 - Roman König:

Graphs and Free Partially Commutative Monoids. 319-346 - Tero Harju

, Juhani Karhumäki:
The Equivalence Problem of Multitape Finite Automata. 347-355 - David A. Mix Barrington, James C. Corbett:

A Note on Some Languages in Uniform ACC0. 357-362 - Ricardo A. Baeza-Yates

:
Searching Subsequences. 363-376 - Gustav Burosch, János Demetrovics, Gyula O. H. Katona, Daniel J. Kleitman, Alexander A. Sapozhenko:

On the Number of Databases and Closure Operations. 377-381

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














