The following pages link to Moshe Vardi
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Almost all (links | edit)
- List of computer scientists (links | edit)
- Mathematics (links | edit)
- Ralph Merkle (links | edit)
- Robert Tarjan (links | edit)
- Adi Shamir (links | edit)
- Ron Rivest (links | edit)
- Robin Milner (links | edit)
- Daniel Sleator (links | edit)
- Dana Scott (links | edit)
- Vladimir Vapnik (links | edit)
- Constraint satisfaction problem (links | edit)
- Leonard Adleman (links | edit)
- Michael O. Rabin (links | edit)
- Richard M. Karp (links | edit)
- Andrew Yao (links | edit)
- Temporal logic (links | edit)
- Büchi automaton (links | edit)
- Leonid Levin (links | edit)
- Martin Hellman (links | edit)
- Whitfield Diffie (links | edit)
- Weizmann Institute of Science (links | edit)
- Yedioth Ahronoth (links | edit)
- Association for the Advancement of Artificial Intelligence (links | edit)
- IBM Research (links | edit)
- Moshe (links | edit)
- David S. Johnson (links | edit)
- Graph homomorphism (links | edit)
- Volker Strassen (links | edit)
- Johan Håstad (links | edit)
- Narendra Karmarkar (links | edit)
- Social software (research field) (links | edit)
- Descriptive complexity theory (links | edit)
- Charles E. Leiserson (links | edit)
- László Lovász (links | edit)
- Jeffrey Ullman (links | edit)
- Finite model theory (links | edit)
- Bruno Buchberger (links | edit)
- Abraham Lempel (links | edit)
- List of Rice University people (links | edit)
- European Association for Theoretical Computer Science (links | edit)
- Jacob Ziv (links | edit)
- Nancy Lynch (links | edit)
- Corrado Böhm (links | edit)
- Scott Shenker (links | edit)
- Herbrand Award (links | edit)
- Gerard J. Holzmann (links | edit)
- Boris Trakhtenbrot (links | edit)
- Paris Kanellakis Award (links | edit)
- Éva Tardos (links | edit)