 | 
| |
Online DBLP entries are available for Kousha Etessami and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
-
Kousha Etessami: Dynamic Tree Isomorphism via First-Order Updates.
PODS
1998: 235-243
-
Kousha Etessami,
Moshe
Y. Vardi,
Thomas
Wilke: First-Order Logic with Two Variables and Unary Temporal Logic.
LICS
1997: 228-235
-
Kousha Etessami: Counting Quantifiers, Successor Relations, and Logarithmic
Space.
JCSS
54(3): 400-411 (1997)
-
Kousha Etessami,
Thomas
Wilke: An Until Hierarchy for Temporal Logic.
LICS
1996: 108-117
-
Kousha Etessami,
Neil
Immerman: Tree Canonization and Transitive Closure.
LICS
1995: 331-341
-
Kousha Etessami,
Neil
Immerman: Reachability and the Power of Local Ordering.
TCS
148(2): 261-279 (1995)
-
Kousha Etessami,
Neil
Immerman: Reachability and the Power of Local Ordering.
STACS
1994: 123-135
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
