Rajeev Goré
| Use attributes for filter ! | |
| Affiliations | Australian National University |
|---|---|
| Citations | 2,425 |
| H index | 25 |
| Music groups | Agi Kurucz |
| Christopher G. A. Bryant | |
| Barteld Pieter Kooi | |
| Interests | Logic |
| Automated Reasoning | |
| Modal Logic | |
| Tableaux | |
| Electronic Voting | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2560573 |
