Alternation.
Ashok K. Chandra, Dexter Kozen, Larry J. Stockmeyer:
Alternation.
J. ACM 28(1): 114-133(1981)@article{DBLP:journals/jacm/ChandraKS81,
author = {Ashok K. Chandra and
Dexter Kozen and
Larry J. Stockmeyer},
title = {Alternation},
journal = {J. ACM},
volume = {28},
number = {1},
year = {1981},
pages = {114-133},
ee = {db/journals/jacm/ChandraKS81.html, http://doi.acm.org/10.1145/322234.322243},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Georg Gottlob, Nicola Leone, Francesco Scarcello:
Hypertree Decompositions and Tractable Queries.
PODS 1999: 21-32
- Anthony J. Bonner:
Workflow, Transactions, and Datalog.
PODS 1999: 294-305
- Nicholas Q. Trân, Rajiv Bagai:
Infinite Relations in Paraconsistent Databases.
ADBIS 1999: 275-287
- Sergei G. Vorobyov, Andrei Voronkov:
Complexity of Nonrecursive Logic Programs with Complex Values.
PODS 1998: 244-253
- Ron van der Meyden:
The Complexity of Querying Indefinite Data about Linearly Ordered Domains.
PODS 1992: 331-345
- Surajit Chaudhuri, Moshe Y. Vardi:
On the Equivalence of Recursive and Nonrecursive Datalog Programs.
PODS 1992: 55-66
- Anthony J. Bonner:
The Complexity of Reusing and Modifying Rulebases.
PODS 1992: 316-330
- Ron van der Meyden:
Recursively Indefinite Databases.
ICDT 1990: 364-378
- V. S. Lakshmanan, Alberto O. Mendelzon:
Inductive Pebble Games and the Expressive Power of Datalog.
PODS 1989: 301-310
- Jeffrey D. Ullman, Moshe Y. Vardi:
The Complexity of Ordering Subgoals.
PODS 1988: 74-81
- Gabriel M. Kuper, Moshe Y. Vardi:
On the Complexity of Queries in the Logical Data Model (Extended Abstract).
ICDT 1988: 267-280
- Anthony J. Bonner:
Hypothetical Datalog: Complexity and Expressiblity.
ICDT 1988: 144-160
- Paris C. Kanellakis:
Logic Programming and Parallel Complexity.
ICDT 1986: 1-30
- Christos H. Papadimitriou, Mihalis Yannakakis:
The Complexity of Reliable Concurrency Control.
PODS 1985: 230-234
BibTeX
Copyright © Sun May 17 00:05:33 2009
by Michael Ley (ley@uni-trier.de)