Index of /~marche/termination-competition/2004/tpdb/CimeAC

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bag-sum-prod-bin-distr.trs2004-03-05 16:27 541  
[   ]bag-sum-prod-bin-distr.trs.cim22004-07-01 14:27 868  
[   ]bag-sum-prod-bin.trs2004-03-05 16:27 483  
[   ]bag-sum-prod-bin.trs.cim22004-07-01 14:27 808  
[   ]bag-sum-prod-distr.trs2004-03-05 16:27 541  
[   ]bag-sum-prod-distr.trs.cim22004-07-01 14:27 868  
[   ]bag-sum-prod.trs2004-03-05 16:27 394  
[   ]bag-sum-prod.trs.cim22004-07-01 14:27 649  
[   ]boolean_rings.trs2004-03-05 16:27 484  
[   ]boolean_rings.trs.cim22004-07-01 14:27 649  
[   ]differ.trs2004-03-05 16:27 445  
[   ]differ.trs.cim22004-07-01 14:29 790  
[   ]intersect.trs2004-03-05 16:27 425  
[   ]intersect.trs.cim22004-07-01 14:30 658  
[   ]kusakari1.trs2004-03-05 16:27 167  
[   ]kusakari1.trs.cim22004-07-01 14:31 225  
[   ]maude2.trs2004-05-26 10:06 2.1K 
[   ]maude2.trs.cim22004-07-01 14:33 1.6K 
[   ]rationals.trs2004-03-05 16:27 2.5K 
[   ]rationals.trs.cim22004-07-01 14:36 3.8K 
[   ]sequent_modulo.trs2004-03-05 16:27 2.9K 
[   ]sequent_modulo.trs.cim22004-07-01 14:38 4.2K 
[   ]temporal-logic.trs2004-03-05 16:27 4.3K 
[   ]temporal-logic.trs.cim22004-07-01 14:38 2.9K 
[   ]ternary.trs2004-03-05 16:27 617  
[   ]ternary.trs.cim22004-07-01 14:38 891  

Apache/2.4.52 (Ubuntu) Server at www.lri.fr Port 80