MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Crane Beach Conjecture." – sorted by Relevance.

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

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

7 documents found, showing 1 through 7.

ATOM

The Crane Beach Conjecture
by David A. Mix Barrington, Neil Immermann, Clemens Lautemann, Nicole Schweikardt, Denis Therien — 2001 — In Proc. 16th Symp. on Logic in Comp. Sci. (LICS-01
…The Crane Beach Conjecture DAVID A. MIX BARRINGTON # Computer Science Department University…
Cited by 5 (1 self) – Add To MetaCart

An algebraic point of view on the crane-beach conjecture, 2006. Document in preparation
by Clemens Lautemann, Pascal Tesson, Denis Thérien, Université Laval
…An Algebraic Point of View on the Crane-Beach Conjecture Clemens Lautemann, Pascal Tesson ⋆1…
Cited by 1 (0 self) – Add To MetaCart

Arithmetical Definability over Finite Structures
by Troy Lee — 2002
…(PLUS;TIMES) =FO(BIT) to FO( (LICS 2001) about the Crane Beach Conjecture. Together with previous results…
Cited by 2 (0 self) – Add To MetaCart

Arithmetic, First-Order Logic, and Counting Quantifiers
by Nicole Schweikardt — 2002 — ACM Transactions on Computational Logic
… version of the Crane Beach conjecture. Keywords: logic in computer science, first-order logic, Presburger…
Cited by 1 (0 self) – Add To MetaCart

Is Multiplication Harder than Addition? Arithmetical Definability over Finite Structures
by Troy Lee, Harry Buhrman — 2001 — ACM Computer Architecture News
… Arithmetical Denability 31 7.1 FO( FO( 7.2 FO( FO( 7.2.1 Crane Beach Conjecture…
Add To MetaCart

Inexpressibility Results for Regular Languages in Nonregular Settings
by Howard Straubing — 2005
… in Barrington, et. al. [4] on the ”Crane Beach Conjecture” from the domain of first-order formulas…
Add To MetaCart

Structure and Complexity
by Uwe Schoning (universitat Ulm, Uwe Schöning, Klaus W. Wagner, Klaus W. Wagner (universitat Wurzburg, Farid Ablayev, Eric Allender, Bernd Borchert, Harry Buhrman, Stephen Fenner, Lance Fortnow, Judy Goldsmith, Ulrich Hertrampf, Klaus-jorn Lange — 1996
…-Self-Reducibility Denis Th'erien The Crane Beach Conjecture Thomas Thierauf The Isomorphism Problem for One…
Add To MetaCart

Showing 1 through 7.

ATOM

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