Yuri Gurevich
University of Michigan(US)Michigan Medicine(US)
Publications by Year
Research Areas
Computability, Logic, AI Algorithms, Logic, Reasoning, and Knowledge, Logic, programming, and type systems, semigroups and automata theory, Formal Methods in Verification
Most-Cited Works
- → The Classical Decision Problem(1997)820 cited
- → Evolving Algebras 1993: Lipari Guide(2018)550 cited
- → Sequential abstract-state machines capture sequential algorithms(2000)452 cited
- → Trees, automata, and games(1982)323 cited
- Logic and the Challenge of Computer Science(1985)
- → Toward logic tailored for computational complexity(1984)253 cited
- → Fixed-point extensions of first-order logic(1986)242 cited