Rajeev P. Goré
homepage: | http://users.rsise.anu.edu.au/~rpg/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
tutorial Introduction to Modal Logic as author at Summer Schools in Logic and Learning, Canberra 2009, 51128 views |