240 citations · 362 across the 9 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 12 cited
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Philipp Weis, Neil Immerman
It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite…
cs.LO2009★ 8 cited
Simulating reachability using first-order logic with applications to verification of linked data structures
Tal Lev-Ami, Neil Immerman, Thomas Reps +3
This paper shows how to harness existing theorem provers for first-order logic to automatically verify safety properties of imperative programs that perform dynamic storage allocat…