Joint papers of Gurevich and Shelah

GuSh:70
Gurevich+Shelah, Modest theory of short chains. II -- J Symbolic Logic 44 (1979) 491-502
GuSh:123
Gurevich+Shelah, Monadic theory of order and topology in ${\rm ZFC}$ -- Annals Math Logic 23 (1982) 179-198
GGHSh:135
Glass+Gurevich+Holland+Shelah, Rigid homogeneous chains -- Math Proc Cambridge Philosophical Soc 89 (1981) 7-17
GMSh:141
Gurevich+Magidor+Shelah, The monadic theory of $\omega _{2}$ -- J Symbolic Logic 48 (1983) 387-398
GuSh:143
Gurevich+Shelah, The monadic theory and the ``next world'' -- Israel J Math 49 (1984) 55-68
GuSh:151
Gurevich+Shelah, Interpreting second-order logic in the monadic theory of order -- J Symbolic Logic 48 (1983) 816-828
GuSh:163
Gurevich+Shelah, To the decision problem for branching time logic -- Foundations logic and linguistics (Salzburg, 1983) (1985) 181--198
GuSh:168
Gurevich+Shelah, On the strength of the interpretation method -- J Symbolic Logic 54 (1989) 305-323
GuSh:178
Gurevich+Shelah, Random models and the Godel case of the decision problem -- J Symbolic Logic 48 (1983) 1120-1124
GuSh:183
Gurevich+Shelah, Rabin's uniformization problem -- J Symbolic Logic 48 (1983) 1105-1119
GGSh:184
Goldfarb+Gurevich+Shelah, A decidable subclass of the minimal Godel class with identity -- J Symbolic Logic 49 (1984) 1253-1261
DGSh:213 [abstract]
Denenberg+Gurevich+Shelah, Definability by constant-depth polynomial-size circuits -- Information and Control 70 (1986) 216-240
GuSh:230
Gurevich+Shelah, The decision problem for branching time logic -- J Symbolic Logic 50 (1985) 668-681
GuSh:243
Gurevich+Shelah, Expected computation time for Hamiltonian path problem -- SIAM J on Computing 16 (1987) 486-502
GuSh:244
Gurevich+Shelah, The fix point extensions of first order logic -- Proc 26th Annual Symp. on Foundation of Computer Science (1985) 346--353
GuSh:244a
Gurevich+Shelah, Fixed-point extensions of first-order logic -- Annals Pure and Applied Logic 32 (1986) 265-280
GuSh:277
Gurevich+Shelah, Nearly linear time -- Logic at Botik '89 (Pereslavl-Zalesskiy, 1989) (1989) 108--118
GuSh:332
Gurevich+Shelah, Non-deterministic linear time task may require substantially non linear determinate work
GuSh:332a
Gurevich+Shelah, Nondeterministic linear-time tasks may require substantially nonlinear deterministic time in the case of sublinear work space -- J Association for Computing Machinery 37 (1990) 674-687
GuSh:343
Gurevich+Shelah, Time polynomial in input or output -- J Symbolic Logic 54 (1989) 1083-1088
GISh:525 1994-11-12 [pdf] [ps] [abstract] [arXiv:math.LO/9411235]
Gurevich+Immerman+Shelah, McColm Conjecture -- Symposium on Logic in Computer Science (1994) 10--19
GuSh:526 1994-11-04 [pdf] [ps] [abstract] [arXiv:math.LO/9411236]
Gurevich+Shelah, On Finite Rigid Structures -- J Symbolic Logic 61 (1996) 549-562
BGSh:533 2000-10-27 [pdf] [ps] [abstract] [arXiv:math.LO/9705225]
Blass+Gurevich+Shelah, Choiceless Polynomial Time -- Annals Pure and Applied Logic 100 (1999) 141-187
GuSh:536 2003-04-06 [pdf] [ps] [abstract] [arXiv:math.LO/0404150]
Gurevich+Shelah, Spectra of Monadic Second-Order Formulas with One Unary Function -- Proc 18th Annual IEEE Symposium on Logic in Computer Science (2003) 291--300
BGSh:760 2001-02-06 [pdf] [ps] [abstract] [arXiv:math.LO/0102059]
Blass+Gurevich+Shelah, On polynomial time computation over unordered structures -- J Symbolic Logic 67 (2002) 1093-1125


Back to theList of coauthors
Back to Shelah's Archive