Index of /xml/Suresnes/BDD/rauzy/algorithmes_2_et_3/Primes

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Existence_BDT2.con.body.xml.gz2004-04-08 09:33 12K 
[ ]Result_Ordered.con.body.xml.gz2004-04-08 09:33 7.2K 
[ ]Soundness_left_smallest_in.con.body.xml.gz2004-04-08 09:33 6.2K 
[ ]Completness.con.body.xml.gz2004-04-08 09:33 6.0K 
[ ]Result_Ordered.con.types.xml.gz2004-04-08 09:33 5.9K 
[ ]Soundness_left_smallest_out.con.body.xml.gz2004-04-08 09:33 5.7K 
[ ]Soundness_left_smallest_out.con.types.xml.gz2004-04-08 09:33 5.0K 
[ ]Completness.con.types.xml.gz2004-04-08 09:33 4.9K 
[ ]Soundness_left_smallest_in.con.types.xml.gz2004-04-08 09:33 4.9K 
[ ]Existence_BDT2.con.types.xml.gz2004-04-08 09:33 3.3K 
[ ]Soundness.con.body.xml.gz2004-04-08 09:33 3.3K 
[ ]Soundness.con.types.xml.gz2004-04-08 09:33 3.2K 
[ ]Soundness_right.con.body.xml.gz2004-04-08 09:33 3.0K 
[ ]Soundness_left.con.body.xml.gz2004-04-08 09:33 2.9K 
[ ]Soundness_right.con.types.xml.gz2004-04-08 09:33 2.8K 
[ ]Soundness_left.con.types.xml.gz2004-04-08 09:33 2.7K 
[ ]Zero_complete.con.body.xml.gz2004-04-08 09:33 2.1K 
[ ]Zero_complete.con.types.xml.gz2004-04-08 09:33 1.9K 
[ ]Soundness_left_impl.con.body.xml.gz2004-04-08 09:33 1.9K 
[ ]BDT2_of_Zero.con.types.xml.gz2004-04-08 09:33 1.6K 
[ ]BDT2_of_One.con.types.xml.gz2004-04-08 09:33 1.6K 
[ ]LC2_C_fac1.con.types.xml.gz2004-04-08 09:33 1.4K 
[ ]Soundness_left_impl.con.types.xml.gz2004-04-08 09:33 1.4K 
[ ]BDT2_of_One.con.body.xml.gz2004-04-08 09:33 1.4K 
[ ]Soundness_left_smallest_order.con.body.xml.gz2004-04-08 09:33 1.3K 
[ ]LC2_S_fac1.con.types.xml.gz2004-04-08 09:33 1.3K 
[ ]BDT2_of_Zero.con.body.xml.gz2004-04-08 09:33 1.3K 
[ ]Soundness_left_smallest_order.con.types.xml.gz2004-04-08 09:33 1.1K 
[ ]Correctness.con.types.xml.gz2004-04-08 09:33 1.1K 
[ ]INDEX2005-07-05 08:14 1.1K 
[ ]Soundness_left_smallest_out.con.xml.gz2004-04-08 09:33 1.0K 
[ ]LC2_S_fac1.con.body.xml.gz2004-04-08 09:33 1.0K 
[ ]Soundness_left_smallest_in.con.xml.gz2004-04-08 09:33 967  
[ ]Correctness.con.body.xml.gz2004-04-08 09:33 964  
[ ]Soundness_left.con.xml.gz2004-04-08 09:33 893  
[ ]LC2_C_fac1.con.xml.gz2004-04-08 09:33 873  
[ ]LC2_C_fac1.con.body.xml.gz2004-04-08 09:33 837  
[ ]Soundness_left_impl.con.xml.gz2004-04-08 09:33 785  
[ ]Existence_BDT2.con.xml.gz2004-04-08 09:33 726  
[ ]Soundness.con.xml.gz2004-04-08 09:33 704  
[ ]Soundness_right.con.xml.gz2004-04-08 09:33 699  
[ ]Correctness.con.xml.gz2004-04-08 09:33 698  
[ ]LC2_S_fac1.con.xml.gz2004-04-08 09:33 648  
[ ]Completness.con.xml.gz2004-04-08 09:33 602  
[ ]Result_Ordered.con.xml.gz2004-04-08 09:33 597  
[ ]Soundness_left_smallest_order.con.xml.gz2004-04-08 09:33 565  
[ ]Complete.con.body.xml.gz2004-04-08 09:33 559  
[ ]Sound.con.body.xml.gz2004-04-08 09:33 555  
[ ]Zero_complete.con.xml.gz2004-04-08 09:33 508  
[ ]Correct.con.body.xml.gz2004-04-08 09:33 482  
[ ]BDT2_of_One.con.xml.gz2004-04-08 09:33 399  
[ ]BDT2_of_Zero.con.xml.gz2004-04-08 09:33 398  
[ ]Complete.con.xml.gz2004-04-08 09:33 320  
[ ]Correct.con.xml.gz2004-04-08 09:33 319  
[ ]Sound.con.xml.gz2004-04-08 09:33 313  
[ ]Complete.con.types.xml.gz2004-04-08 09:33 218  
[ ]Correct.con.types.xml.gz2004-04-08 09:33 216  
[ ]Sound.con.types.xml.gz2004-04-08 09:33 213  
[DIR]Case_recursion/2005-07-05 08:14 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80