Overhead Slides
- ExpTime Tableaux for ALC Using Sound Global Caching
pdf
- Introduction to Modal and Temporal Logic.
pdf,
Copyright Rajeev Goré
Lecture notes from the Logic Summer School 2002.
- Formalised Cut-elimination for the Display Calculus of Relation Algebras
dvi,
postscript,
pdf
Copyright Jeremy Dawson and Rajeev Goré
- Sequent Calculi and Proof Theory for Classical Logic.
postscript,
pdf,
Copyright Rajeev Goré
- University of Melbourne Postgraduate Seminar "Goedel,
Turing, Chaitin", Friday 15th October, 1999.
postscript,
dvi,
pdf,
Copyright Rajeev Goré
- 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