Featured collections
Popular topics
61 results for
Moshe Vardi- 1997
- Distributed Computing
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- Formal Methods in System Design
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- International Journal on Software Tools for Technology Transfer
- 1999
- Annals of Pure and Applied Logic
- 1999
- International Journal of Game Theory
- Tomás Feder
- Moshe Y. Vardi
- 1998
- SIAM Journal on Computing
- Serge Abiteboul
- Moshe Y. Vardi
- et al.
- 1995
- Theoretical Computer Science
- 1995
- Artificial Intelligence
- 1995
- Information and Computation