Travelled to:1 × Canada
1 × France
1 × Germany
1 × Spain
3 × USA
Collaborated with:Y.Gurevich ∅ J.Spencer D.J.Lehmann N.Immerman D.M.Gabbay A.Pnueli J.Stavi
Talks about:time (4) spectra (2) nondeterminist (1) determinist (1) choiceless (1) threshold (1) substanti (1) sublinear (1) polynomin (1) nonlinear (1)
Person: Saharon Shelah
DBLP: Shelah:Saharon
Contributed to:
2003
20001994
19881987
1983
1980Wrote 7 papers:
- LICS-2003-GurevichS #higher-order #monad
- Spectra of Monadic Second-Order Formulas with One Unary Function (YG, SS), pp. 291–300.
- CSL-2000-Shelah #logic
- Choiceless Polynominal Time Logic: Inability to Express (SS), pp. 72–125.
- LICS-1994-GurevichIS
- McColm’s Conjecture (YG, NI, SS), pp. 10–19.
- STOC-1988-GurevichS #linear #nondeterminism #sublinear
- Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space (YG, SS), pp. 281–289.
- STOC-1987-ShelahS #graph #random
- Threshold Spectra for Random Graphs (SS, JS), pp. 421–424.
- ICALP-1983-LehmannS #reasoning
- Reasoning with Time and Chance (DJL, SS), pp. 445–457.
- POPL-1980-GabbayPSS #on the
- On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.