Alexander Rabinovich (School of CS

Identifiers

• name variant Alexander Rabinovich (School of CS 0.60 · backfill

Papers (1)

1. The complexity of linear-time temporal logic over the class of ordinals cs.LO · 2010 · author #5

Mentions

• 1009.5206 #5 · backfill · confidence 0.70 Alexander Rabinovich (School of CS

Frequent Coauthors

• CNRS 1 shared papers
• ENS Cachan 1 shared papers
• INRIA) 1 shared papers
• Stephane Demri (LSV 1 shared papers
• Tel Aviv University) 1 shared papers