Index of /xml/Suresnes/BDD/rauzy/algorithme1/Canonicity

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Uniqueness.con.xml.gz2004-04-08 09:33 561  
[   ]Uniqueness.con.types.xml.gz2004-04-08 09:33 2.6K 
[   ]Uniqueness.con.body.xml.gz2004-04-08 09:33 2.7K 
[   ]Unique_Zero.con.xml.gz2004-04-08 09:33 548  
[   ]Unique_Zero.con.types.xml.gz2004-04-08 09:33 5.4K 
[   ]Unique_Zero.con.body.xml.gz2004-04-08 09:33 5.9K 
[   ]Unique_One.con.xml.gz2004-04-08 09:33 548  
[   ]Unique_One.con.types.xml.gz2004-04-08 09:33 5.4K 
[   ]Unique_One.con.body.xml.gz2004-04-08 09:33 5.8K 
[   ]Tautology_decidable.con.xml.gz2004-04-08 09:33 495  
[   ]Tautology_decidable.con.types.xml.gz2004-04-08 09:33 1.6K 
[   ]Tautology_decidable.con.body.xml.gz2004-04-08 09:33 2.8K 
[   ]Tautology.con.xml.gz2004-04-08 09:33 325  
[   ]Tautology.con.types.xml.gz2004-04-08 09:33 216  
[   ]Tautology.con.body.xml.gz2004-04-08 09:33 460  
[   ]INDEX2005-07-05 08:14 448  
[   ]Choices_eq_bdts_eq.con.xml.gz2004-04-08 09:33 857  
[   ]Choices_eq_bdts_eq.con.types.xml.gz2004-04-08 09:33 15K 
[   ]Choices_eq_bdts_eq.con.body.xml.gz2004-04-08 09:33 21K 
[   ]Canonicity_Boolexp.con.xml.gz2004-04-08 09:33 547  
[   ]Canonicity_Boolexp.con.types.xml.gz2004-04-08 09:33 1.6K 
[   ]Canonicity_Boolexp.con.body.xml.gz2004-04-08 09:33 1.6K 
[   ]Canonicity_BF.con.xml.gz2004-04-08 09:33 663  
[   ]Canonicity_BF.con.types.xml.gz2004-04-08 09:33 863  
[   ]Canonicity_BF.con.body.xml.gz2004-04-08 09:33 949  

Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80