Yuri Gurevich
Yuri Gurevich
Principal Researcher, Microsoft Research
microsoft.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Evolving algebras 1993: Lipari guide
Y Gurevich, E Börger
Evolving Algebras 40, 1995
13191995
The classical decision problem
E Börger, E Grädel, Y Gurevich
Springer Science & Business Media, 2001
10162001
Sequential abstract-state machines capture sequential algorithms
Y Gurevich
ACM Transactions on Computational Logic (TOCL) 1 (1), 77-111, 2000
5792000
Logic and the challenge of computer science
Y Gurevich
University of Michigan, Computing Research Laboratory, 1985
4821985
Trees, automata, and games
Y Gurevich, L Harrington
Proceedings of the fourteenth annual ACM symposium on Theory of computing, 60-65, 1982
4061982
Fixed-point extensions of first-order logic
Y Gurevich, S Shelah
Annals of pure and applied logic 32, 265-280, 1986
3741986
Evolving Algebras.
Y Gurevich
IFIP Congress (1), 423-427, 1994
308*1994
Toward logic tailored for computational complexity
Y Gurevich
Computation and proof theory, 175-216, 1984
2761984
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
2712002
The semantics of the C programming language
Y Gurevich, JK Huggins
International Workshop on Computer Science Logic, 274-308, 1992
2401992
Average case completeness
Y Gurevich
Journal of Computer and System Sciences 42 (3), 346-398, 1991
2261991
Abstract state machines capture parallel algorithms
A Blass, Y Gurevich
ACM Transactions on Computational Logic (TOCL) 4 (4), 578-651, 2003
2002003
An Attempt to Discover Semantics
Y Gurevich, E Algebras
Current Trends in Theoretical Computer Science, eds. G. Rozenberg and A …, 1993
1911993
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
1821985
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1672005
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1672005
Algebras of feasible functions
Y Gurevich
24th Annual Symposium on Foundations of Computer Science (sfcs 1983), 210-214, 1983
1661983
Metafinite model theory
E Graedel, Y Gurevich
Information and Computation 140 (1), 26-81, 1998
160*1998
Intuitionistic logic with strong negation
Y Gurevich
Studia Logica 36 (1-2), 49-59, 1977
1591977
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20