Overhead Slides

  1. ExpTime Tableaux for ALC Using Sound Global Caching pdf
  2. Introduction to Modal and Temporal Logic. pdf, Copyright Rajeev Goré
    Lecture notes from the Logic Summer School 2002.
  3. Formalised Cut-elimination for the Display Calculus of Relation Algebras dvi, postscript, pdf
    Copyright Jeremy Dawson and Rajeev Goré
  4. Sequent Calculi and Proof Theory for Classical Logic. postscript, pdf, Copyright Rajeev Goré
  5. University of Melbourne Postgraduate Seminar "Goedel, Turing, Chaitin", Friday 15th October, 1999. postscript, dvi, pdf, Copyright Rajeev Goré
  6. CardKt: Automated Multi-modal Deduction on Java Cards. gzipped postscript, Copyright Rajeev Goré
Prof. Rajeev P. Goré         Tel: +61-2-6125 8603 
Automated Reasoning Group    Fax: +61-2-6125 8651 
Computer Sciences Laboratory Email: Rajeev.Gore at anu.edu.au
Research School of Information Sciences and Engineering 
Australian National University 
Canberra, ACT, 2601, AUSTRALIA     
ANU CRICOS Provider Number - 00120C
Rajeev.Gore at anu.edu.au