Index of /papers/gore

Icon  Name                                          Last modified      Size  Description
[DIR] Parent Directory - [DIR] BiIntLogic/ 05-May-2001 15:52 - [DIR] BiModal/ 27-Nov-2002 17:43 - [DIR] CardKt/ 23-Feb-2001 11:51 - [DIR] CardS4/ 16-Oct-2002 15:32 - [DIR] CardTAP/ 26-Apr-2000 15:51 - [DIR] ClassicalSequents/ 07-Dec-2001 11:04 - [DIR] CMDL/ 24-Oct-2000 12:12 - [DIR] CutAdmissibility/ 29-May-2002 15:47 - [DIR] CutBoth/ 08-Apr-2003 11:01 - [DIR] CutElimStrong/ 28-Nov-2002 09:38 - [DIR] DataCleaning/ 19-Apr-2005 10:31 - [DIR] Diodorean/ 24-Oct-2000 12:21 - [DIR] DKt/ 24-Oct-2000 12:26 - [DIR] DRA/ 24-Oct-2000 12:18 - [DIR] Embedding-Display-Calculi/ 15-Nov-2000 15:52 - [DIR] Free-Variable-Tableaux/ 07-Dec-2001 10:35 - [DIR] GGG/ 16-Mar-2001 15:39 - [DIR] Goedel-Turing-Chaitin/ 26-Apr-2000 15:58 - [DIR] Handbook-Tableau-Methods/ 03-Mar-2004 11:08 - [DIR] Intro-Modal-Temporal-Logic/ 13-Dec-2002 15:57 - [DIR] IntroductoryLogic/ 17-Dec-2001 11:21 - [DIR] KtSeq/ 20-Oct-2000 13:56 - [DIR] KtSeqC/ 26-Apr-2000 15:54 - [DIR] Logics-With-Relative-Accessibility-Relations/ 20-Dec-2002 10:09 - [DIR] MechanisedRA/ 24-Oct-2000 12:13 - [DIR] Nominal-Tense-Logics/ 20-Dec-2002 10:09 - [DIR] Phd/ 28-Jun-2002 19:43 - [DIR] Provability-Logics/ 20-Dec-2002 10:09 - [DIR] RegularGrammarLogics/ 25-Oct-2005 15:27 - [DIR] Relations-Between/ 24-Oct-2000 12:09 - [DIR] Rewriting/ 22-Aug-2005 16:17 - [DIR] Semi-analytic-Tableaux/ 24-Oct-2000 12:20 - [DIR] SLD/ 12-Nov-1999 10:25 - [DIR] TIC/ 09-Dec-2002 14:50 - [DIR] TWB/ 12-Nov-2003 10:53 - [   ] ar-notes.ps.gz 03-Mar-1997 12:26 100K [   ] ex1.ps.gz 03-Apr-1997 09:56 7.3K [   ] ex2.ps.gz 03-Apr-1997 09:57 6.2K [   ] ex3.ps.gz 03-Apr-1997 09:57 8.5K
Apache/2.2.8 (Ubuntu) proxy_html/3.0.0 mod_ssl/2.2.8 OpenSSL/0.9.8g Server at ftp.rsise.anu.edu.au Port 80