Home

Kousha__Etessami


An until hierarchy for temporal logic

Counting quantifiers, successor relations, and logarithmic space

Reachability and the Power of Local Ordering

Tree canonization and transitive closure