Index of /~jlavalle/papers/kifer

Icon  Name                         Last modified      Size  Description
[DIR] Parent Directory                                  -   
[   ] concurrent-trans-logic.ps.gz 14-Oct-2010 14:08   77K  
[   ] galp.ps.gz                   14-Oct-2010 14:08  105K  
[   ] hilog.ps.gz                  14-Oct-2010 14:08  123K  
[   ] inheritance.ps.gz            14-Oct-2010 14:08   90K  
[   ] sorts.ps.gz                  14-Oct-2010 14:08   79K  
[   ] superfiniteness.ps.gz        14-Oct-2010 14:08  322K  
[   ] tpc.ps.gz                    14-Oct-2010 14:08   96K  
[   ] transaction-logic.ps.gz      14-Oct-2010 14:08  357K  
[   ] wf-analysis.ps.gz            14-Oct-2010 14:08   69K  
[   ] xsql.ps.gz                   14-Oct-2010 14:08   95K
Apache/2.2.15 (Linux/SUSE) Server at aleteya.cs.buap.mx Port 80