Yuri Gurevich
Yuri Gurevich
Principal Researcher, Microsoft Research
Verifierad e-postadress på microsoft.com - Startsida
Titel
Citeras av
Citeras av
År
Evolving algebras 1993: Lipari guide
Y Gurevich, E Börger
Evolving Algebras, 40, 1995
13321995
The classical decision problem
E Börger, E Grädel, Y Gurevich
Springer Science & Business Media, 2001
9922001
Sequential abstract-state machines capture sequential algorithms
Y Gurevich
ACM Transactions on Computational Logic (TOCL) 1 (1), 77-111, 2000
5592000
Logic and the challenge of computer science
Y Gurevich
University of Michigan, Computing Research Laboratory, 1985
4791985
Trees, automata, and games
Y Gurevich, L Harrington
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 60-65, 1982
4251982
Fixed-point extensions of first-order logic
Y Gurevich, S Shelah
Annals of pure and applied logic 32, 265-280, 1986
3601986
Evolving Algebras.
Y Gurevich
IFIP Congress (1), 423-427, 1994
303*1994
Toward logic tailored for computational complexity
Y Gurevich
Computation and proof theory, 175-216, 1984
2811984
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
2632002
The semantics of the C programming language
Y Gurevich, JK Huggins
International Workshop on Computer Science Logic, 274-308, 1992
2361992
Average case completeness
Y Gurevich
Journal of Computer and System Sciences 42 (3), 346-398, 1991
2241991
Abstract state machines capture parallel algorithms
A Blass, Y Gurevich
ACM Transactions on Computational Logic (TOCL) 4 (4), 578-651, 2003
1972003
An Attempt to Discover Semantics
Y Gurevich
Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A …, 1993
1901993
On the unique satisfiability problem
A Blass, Y Gurevich
Information and Control 55 (1-3), 80-88, 1982
1901982
Monadic second-order theories
Y Gurevich
Model-theoretic logics, 479-506, 1985
1771985
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1682005
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1682005
Algebras of feasible functions
Y Gurevich
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 210-214, 1983
1621983
Intuitionistic logic with strong negation
Y Gurevich
Studia Logica 36 (1-2), 49-59, 1977
1531977
Metafinite model theory
E Graedel, Y Gurevich
Information and Computation 140 (1), 26-81, 1998
151*1998
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20