MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Yuri Gurevich" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 152 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Proving Church’s Thesis (Abstract)  
  • by Yuri Gurevich
  • …Proving Church’s Thesis (Abstract) Yuri Gurevich Microsoft Research The talk reflects recent joint…
  • Add To MetaCart
  • Sequential Asm Thesis  
  • by Yuri Gurevich, Yuri Gurevich — 1999 — Bull. European Assoc. Theor. Comp. Sci
  • …Sequential ASM Thesis Yuri Gurevich February 3, 1999 MSR-TR-99-09 Microsoft Research One Microsoft…
  • Cited by 9 (0 self) – Add To MetaCart
  • Intra-Step Interaction  
  • by Yuri Gurevich
  • …Intra-Step Interaction ⋆ Yuri Gurevich Microsoft Research One Microsoft Way, Redmond, WA 98052…
  • Add To MetaCart
  • Metafinite model theory  
  • by Yuri Gurevich — 1998 — Information and Computation
  • …0. Introduction On Finite Model Theory ∗ Yuri Gurevich † February 1990 The subject of this paper…
  • Cited by 56 (9 self) – Add To MetaCart
  • Feasible Functions  
  • by Yuri Gurevich — 1993 — In Proceedings of the 24th IEEE Symposium on Foundations of Computer Science
  • …Feasible Functions Yuri Gurevich Electrical Engineering and Computer Science University…
  • Cited by 51 (5 self) – Add To MetaCart
  • On Kolmogorov Machines And Related Issues  
  • by Yuri Gurevich — 1988 — Current Trends in Theoretical Computer Science, World Scientific, 1993, 225–234; originally in Bull. EATCS 35
  • …On Kolmogorov Machines And Related Issues Yuri Gurevich Electrical Engineering and Computer…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB