The following pages link to Rajeev Alur
External toolsShowing 22 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- European Association for Theoretical Computer Science (links | edit)
- Hybrid automaton (links | edit)
- Alur (links | edit)
- Knuth Prize (links | edit)
- Symposium on Logic in Computer Science (links | edit)
- List of people by Erdős number (links | edit)
- Alternating-time temporal logic (links | edit)
- Nested word (links | edit)
- ACM SIGLOG (links | edit)
- List of fellows of the Association for Computing Machinery (links | edit)
- David L. Dill (links | edit)
- International Conference on Concurrency Theory (links | edit)
- Timed word (links | edit)
- Timed propositional temporal logic (links | edit)
- Dana Fisman (links | edit)
- List of fellows of IEEE Computer Society (links | edit)
- Talk:Rajeev Alur (transclusion) (links | edit)
- Talk:List of people by Erdős number/Archive 2 (links | edit)
- User:Pascal666/living/4 (links | edit)
- User:Caleb Stanford (links | edit)
- User:Tony Sidaway/Living people/a05 (links | edit)
- User:Tony Sidaway/Living people/tranche 002 (links | edit)