Index of /xml/Sophia-Antipolis/Buchberger/Preduceplus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rep_plus_reduce.con.types.xml.gz2004-04-08 10:01 313K 
[ ]rep_plus_reduce.con.body.xml.gz2004-04-08 10:01 222K 
[ ]reduce_plus_top.con.types.xml.gz2004-04-08 10:01 102K 
[ ]one_plus_reduceplus.con.types.xml.gz2004-04-08 10:02 98K 
[ ]one_plus_reduceplus.con.body.xml.gz2004-04-08 10:02 87K 
[ ]reduce_plus_top.con.body.xml.gz2004-04-08 10:01 80K 
[ ]rep_plus_zero_reduce.con.body.xml.gz2004-04-08 10:01 37K 
[ ]rep_plus_zero_reduce.con.types.xml.gz2004-04-08 10:01 36K 
[ ]rep_minus_reduce.con.body.xml.gz2004-04-08 10:01 28K 
[ ]rep_minus_reduce.con.types.xml.gz2004-04-08 10:01 27K 
[ ]one_minus_reduceplus.con.types.xml.gz2004-04-08 10:02 14K 
[ ]pO_reduceplus.con.types.xml.gz2004-04-08 10:01 13K 
[ ]reduceplus_mults_invr_lem.con.body.xml.gz2004-04-08 10:01 13K 
[ ]pO_reduceplus.con.body.xml.gz2004-04-08 10:01 12K 
[ ]reduceplus_mults_invf0.con.body.xml.gz2004-04-08 10:01 12K 
[ ]one_minus_reduceplus.con.body.xml.gz2004-04-08 10:02 12K 
[ ]reduceplus_mults_invr_lem.con.types.xml.gz2004-04-08 10:01 10K 
[ ]reduceplus_mults_invf0.con.types.xml.gz2004-04-08 10:01 9.9K 
[ ]red_minus_zero_reduce.con.body.xml.gz2004-04-08 10:01 8.4K 
[ ]red_minus_zero_reduce.con.types.xml.gz2004-04-08 10:01 7.6K 
[ ]reduceplus_skip.con.body.xml.gz2004-04-08 10:01 6.4K 
[ ]reduceplus_skip.con.types.xml.gz2004-04-08 10:01 5.7K 
[ ]reduceplus_eqp_com.con.body.xml.gz2004-04-08 10:01 4.7K 
[ ]order_reduceplus.con.body.xml.gz2004-04-08 10:01 4.3K 
[ ]reduceplus_mults.con.body.xml.gz2004-04-08 10:01 3.9K 
[ ]reduceplus_eqp_com.con.types.xml.gz2004-04-08 10:01 3.9K 
[ ]reduceplus_mults.con.types.xml.gz2004-04-08 10:01 3.8K 
[ ]order_reduceplus.con.types.xml.gz2004-04-08 10:01 3.6K 
[ ]reduceplus_trans.con.body.xml.gz2004-04-08 10:01 3.2K 
[ ]reduceplus_ind.con.body.xml.gz2004-04-08 10:01 2.9K 
[ ]canonical_reduceplus.con.body.xml.gz2004-04-08 10:01 2.6K 
[ ]reduceplus_ind.con.types.xml.gz2004-04-08 10:01 2.6K 
[ ]reduceplus_trans.con.types.xml.gz2004-04-08 10:01 2.4K 
[ ]red_plus_zero_reduce.con.types.xml.gz2004-04-08 10:01 2.4K 
[ ]reduce_plus_top.con.xml.gz2004-04-08 10:01 2.2K 
[ ]canonical_reduceplus.con.types.xml.gz2004-04-08 10:01 2.1K 
[ ]rep_minus_reduce.con.xml.gz2004-04-08 10:01 2.1K 
[ ]reduceplus_mults_inv.con.body.xml.gz2004-04-08 10:01 2.0K 
[ ]rep_plus_reduce.con.xml.gz2004-04-08 10:01 2.0K 
[ ]rep_plus_zero_reduce.con.xml.gz2004-04-08 10:01 1.8K 
[ ]red_plus_zero_reduce.con.body.xml.gz2004-04-08 10:01 1.8K 
[ ]one_minus_reduceplus.con.xml.gz2004-04-08 10:02 1.7K 
[ ]reduceplus_mults_inv.con.types.xml.gz2004-04-08 10:01 1.7K 
[ ]one_plus_reduceplus.con.xml.gz2004-04-08 10:02 1.6K 
[ ]reduceplus_mults_invr.con.types.xml.gz2004-04-08 10:01 1.6K 
[ ]reduceplus_ind.con.xml.gz2004-04-08 10:01 1.6K 
[ ]red_plus_zero_reduce.con.xml.gz2004-04-08 10:01 1.6K 
[ ]reduceplus_mults_invr.con.body.xml.gz2004-04-08 10:01 1.5K 
[ ]reduceplus_mults_invf0.con.xml.gz2004-04-08 10:01 1.5K 
[ ]reduceplus.ind.xml.gz2004-04-08 10:01 1.5K 
[ ]INDEX2005-07-05 08:12 1.4K 
[ ]red_minus_zero_reduce.con.xml.gz2004-04-08 10:01 1.4K 
[ ]reduceplus_mults_invr_lem.con.xml.gz2004-04-08 10:01 1.3K 
[ ]reduceplus_mults_inv.con.xml.gz2004-04-08 10:01 1.3K 
[ ]reduce_imp_reduceplus.con.body.xml.gz2004-04-08 10:01 1.2K 
[ ]reduceplus_skip.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduceplus_mults_invr.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduceplus_mults.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduceplus_eqp_com.con.xml.gz2004-04-08 10:01 1.1K 
[ ]reduce_imp_reduceplus.con.types.xml.gz2004-04-08 10:01 1.0K 
[ ]order_reduceplus.con.xml.gz2004-04-08 10:01 1.0K 
[ ]reduce_imp_reduceplus.con.xml.gz2004-04-08 10:01 957  
[ ]reduceplus_trans.con.xml.gz2004-04-08 10:01 955  
[ ]canonical_reduceplus.con.xml.gz2004-04-08 10:01 898  
[ ]pO_reduceplus.con.xml.gz2004-04-08 10:01 880  
[ ]reduceplus.ind.types.xml.gz2004-04-08 10:01 211  
[DIR]Preduceplus/2005-07-05 08:13 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80