Index of /~jlavalle/papers/dix

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 92_JOLLI.ps.gz                 14-Oct-2010 14:08   61K  
 93_rat_vs_pref.ps.gz           14-Oct-2010 14:08  105K  
 94_ISMIS.ps.gz                 14-Oct-2010 14:08   74K  
 94_JLC_Herbrand.ps.gz          14-Oct-2010 14:08   86K  
 94_KI.ps.gz                    14-Oct-2010 14:08   72K  
 95_Fund_Inf_2.ps.gz            14-Oct-2010 14:08  117K  
 95_NMELP.ps.gz                 14-Oct-2010 14:08   88K  
 96_Fund_Inf.ps.gz              14-Oct-2010 14:08   98K  
 96_KR.ps.gz                    14-Oct-2010 14:08   89K  
 97_AGGR_fullpaper.ps.gz        14-Oct-2010 14:08  101K  
 97_DESCR.ps.gz                 14-Oct-2010 14:08   79K  
 97_DISLOP.ps.gz                14-Oct-2010 14:08  127K  
 97_DWFS_STATIC_fullpaper.ps.gz 14-Oct-2010 14:08   87K  
 97_ESSLLI_Tutorial.ps.gz       14-Oct-2010 14:08  220K  
 97_JAR_confluence.ps.gz        14-Oct-2010 14:08   68K  
 97_JLP_CLP.ps.gz               14-Oct-2010 14:08  126K  
 97_JLP_DWFS.ps.gz              14-Oct-2010 14:08  189K  
 97_JLP_characterizations.ps.gz 14-Oct-2010 14:08  111K  
 97_NME.ps.gz                   14-Oct-2010 14:08  118K  
 97_Prolegomena.ps.gz           14-Oct-2010 14:08  118K  
 97_SUPER.ps.gz                 14-Oct-2010 14:08  169K  
 NMR.ps.gz                      14-Oct-2010 14:08  312K  
 REASONING.ps.gz                14-Oct-2010 14:08  102K  
 refdix.gz                      14-Oct-2010 14:08  1.1K  
 refdix.swp.gz                  14-Oct-2010 14:08  1.6K