Alexander Rabinovich

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A Proof of Kamp's theorem
Alexander Rabinovich (2014) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
Neil Immerman and others (2004) · Lecture notes in computer science · Springer Science+Business Media