papers
Publications (7)
math.LO1994
McColm conjecture
Yuri Gurevich, Neil Immerman, Saharon Shelah
cs.AI2013
The Complexity of Decentralized Control of Markov Decision Processes
Daniel S Bernstein, Shlomo Zilberstein, Neil Immerman
cs.LO2009
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Philipp Weis, Neil Immerman
cs.CC2019
The $k$-Dimensional Weisfeiler-Leman Algorithm
Neil Immerman, Rik Sengupta
cs.DB2015
A Characterization of the Complexity of Resilience and Responsibility for Self-join-free Conjunctive Queries
Cibele Freire, Wolfgang Gatterbauer, Neil Immerman +1
cs.LO2009
Simulating reachability using first-order logic with applications to verification of linked data structures
Tal Lev-Ami, Neil Immerman, Thomas Reps +3
cs.LO2011
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3