The Complexity of Decentralized Control of Markov Decision Processes von Bernstein, Daniel S, Givan, Robert, Immerman, Neil, Zilberstein, Shlomo

Volltext

Languages that capture complexity classes von IMMERMAN, N

Volltext

Nondeterministic space is closed under complementation von IMMERMAN, N

Volltext

On uniformity within NC1 von Mix Barrington, David A., Immerman, Neil, Straubing, Howard

Volltext

Dyn-FO: A Parallel, Dynamic Complexity Class von Patnaik, Sushant, Immerman, Neil

Volltext

Expressibility and parallel complexity von IMMERMAN, N

Volltext

The Complexity of Iterated Multiplication von Immerman, N., Landau, S.

Volltext

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures von Lev-Ami, T., Immerman, N., Reps, T., Sagiv, M., Srivastava, S., Yorsh, G.

Volltext

Upper and lower bounds for first order expressibility von Immerman, Neil

Volltext

Definability with bounded number of bound variables von Immerman, Neil, Kozen, Dexter

Volltext

Complete problems for dynamic complexity classes von Hesse, W., Immerman, N.

Volltext

Embedding linkages on an integer lattice von LANDAU, S, IMMERMAN, N

Volltext

Number of quantifiers is better than number of tape cells von Immerman, Neil

Volltext

Tree Canonization and Transitive Closure von Etessami, Kousha, Immerman, Neil

Volltext

First-order expressibility of languages with neutral letters or: The Crane Beach conjecture von Mix Barrington, David A., Immerman, Neil, Lautemann, Clemens, Schweikardt, Nicole, Thérien, Denis

Volltext

"An n! lower bound on formula size" von Adler, M., Immerman, N.

Volltext

Reachability and the power of local ordering von Etessami, Kousha, Immerman, Neil

Volltext

Relational queries computable in polynomial time von Immerman, Neil

Volltext

The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem von Allender, Eric, Bauland, Michael, Immerman, Neil, Schnoor, Henning, Vollmer, Heribert

Volltext

The expressiveness of a family of finite set languages von Immerman, Neil, Patnaik, Sushant, Stemple, David

Volltext