MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Languages that Capture Complexity Classes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Languages That Capture Complexity Classes
by Neil Immerman — 1987 — SIAM Journal of Computing
…Languages That Capture Complexity Classes Neil Immerman y Introduction We present in this paper…
Cited by 217 (22 self) – Add To MetaCart

Tutorial: Languages for Collection Types
by Val Tannen — 1994 — in "Proceedings of 13th Symposium on Principles of Database Systems," Minneapolis
…, there are some intriguing connections between these languages and query complexity classes, both sequential…
Cited by 9 (0 self) – Add To MetaCart

Oracles and Lindström Quantifiers on Ordered Structures
by Department Of — 1997
…] N. Immerman. Languages that capture complexity classes. SIAM Journal on Computing, 16…
Add To MetaCart

The Impact of Model Theory on Theoretical Computer Science
by J.A. Makowsky, In D. Gabbay, Chapter Morgan Kaufmann Publishers, Ssh J. T. Schwartz, M. Sharir, J. Hopcroft — 1995
… Intelligence and Logic Programming. Oxford University Press, 1992. [Imm87] N. Immerman. Languages that capture…
Cited by 1 (1 self) – Add To MetaCart

Reachability and connectivity queries in constraint databases
by Michael Benedikt, Martin Grohe, Luc Segoufin — 2000 — In Proceedings 19th ACM Symposium on Principles of Database Systems
…, e.g., [17]). However, languages capturing complexity classes over constraint databases are scarce…
Cited by 14 (2 self) – Add To MetaCart

Reachability and Connectivity Queries in Constraint Databases
by Michael Benedikt Bell, Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin — 1999 — In Proceedings 19th ACM Symposium on Principles of Database Systems
…) are in PTIME if the dimension is fixed (see, e.g., [16]). However, languages capturing complexity classes over…
Add To MetaCart

An Operational and Denotational Approach to Non-Context-Freeness
by Hans-peter Kolb, Jens Michaelis, Uwe Mönnich, Frank Morawietz, Universitt Tbingen — 2000 — Theoretical Computer Science
…, those logical languages that capture complexity classes indicate lower bounds on the computing resources…
Cited by 8 (2 self) – Add To MetaCart

A Type System for Bounded Space and Functional in-Place Update
by Martin Hofmann — 2000
… class 'exponential time'. A tail recursive fragment of the language captures the complexity class…
Cited by 62 (12 self) – Add To MetaCart

INDEX equality 11, 169
by Tanaka Tannen Breazu-Tannen, Ullman J, Vianu V, Vickers S, Winskel G, Zicari R
…, 68 (1986), 86--104. [84] N. Immerman. Languages that capture complexity classes. SIAM J. Comput. 16…
Add To MetaCart

On the Power of Aggregation in Relational Query Languages
by Leonid Libkin, Limsoon Wong — 1997
… be rewritten as 9k9i:k + k = i 9!ix:'(x) 14. N. Immerman. Languages that capture complexity classes. SIAM…
Cited by 10 (7 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB