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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]BuchRed/2005-07-05 08:13 -  
[ ]Cb_Red.con.body.xml.gz2004-04-08 10:07 3.0K 
[ ]Cb_Red.con.types.xml.gz2004-04-08 10:07 3.5K 
[ ]Cb_Red.con.xml.gz2004-04-08 10:07 1.0K 
[ ]Cb_addEnd_cons.con.body.xml.gz2004-04-08 10:06 6.4K 
[ ]Cb_addEnd_cons.con.types.xml.gz2004-04-08 10:06 11K 
[ ]Cb_addEnd_cons.con.xml.gz2004-04-08 10:06 1.2K 
[ ]Cb_comp.con.body.xml.gz2004-04-08 10:06 6.4K 
[ ]Cb_comp.con.types.xml.gz2004-04-08 10:06 12K 
[ ]Cb_comp.con.xml.gz2004-04-08 10:06 1.3K 
[ ]Cb_compo.con.body.xml.gz2004-04-08 10:07 1.4K 
[ ]Cb_compo.con.types.xml.gz2004-04-08 10:07 1.5K 
[ ]Cb_compo.con.xml.gz2004-04-08 10:07 1.4K 
[ ]Cb_cons.con.body.xml.gz2004-04-08 10:06 14K 
[ ]Cb_cons.con.types.xml.gz2004-04-08 10:06 70K 
[ ]Cb_cons.con.xml.gz2004-04-08 10:06 1.1K 
[ ]Cb_cons_addEnd.con.body.xml.gz2004-04-08 10:06 6.4K 
[ ]Cb_cons_addEnd.con.types.xml.gz2004-04-08 10:06 11K 
[ ]Cb_cons_addEnd.con.xml.gz2004-04-08 10:06 1.2K 
[ ]Cb_nf.con.body.xml.gz2004-04-08 10:07 75K 
[ ]Cb_nf.con.types.xml.gz2004-04-08 10:07 161K 
[ ]Cb_nf.con.xml.gz2004-04-08 10:07 1.2K 
[ ]Cb_trans_cons.con.body.xml.gz2004-04-08 10:06 1.4K 
[ ]Cb_trans_cons.con.types.xml.gz2004-04-08 10:06 1.5K 
[ ]Cb_trans_cons.con.xml.gz2004-04-08 10:06 1.2K 
[ ]INDEX2005-07-05 08:12 1.7K 
[ ]Red.con.body.xml.gz2004-04-08 10:07 701  
[ ]Red.con.types.xml.gz2004-04-08 10:07 202  
[ ]Red.con.xml.gz2004-04-08 10:07 573  
[ ]Red_cb.con.body.xml.gz2004-04-08 10:07 2.8K 
[ ]Red_cb.con.types.xml.gz2004-04-08 10:07 3.7K 
[ ]Red_cb.con.xml.gz2004-04-08 10:07 972  
[ ]Red_divp.con.body.xml.gz2004-04-08 10:07 6.1K 
[ ]Red_divp.con.types.xml.gz2004-04-08 10:07 9.1K 
[ ]Red_divp.con.xml.gz2004-04-08 10:07 1.5K 
[ ]Red_grobner.con.body.xml.gz2004-04-08 10:07 11K 
[ ]Red_grobner.con.types.xml.gz2004-04-08 10:07 16K 
[ ]Red_grobner.con.xml.gz2004-04-08 10:07 943  
[ ]cb_Red_cb1.con.body.xml.gz2004-04-08 10:07 1.2K 
[ ]cb_Red_cb1.con.types.xml.gz2004-04-08 10:07 1.5K 
[ ]cb_Red_cb1.con.xml.gz2004-04-08 10:07 965  
[ ]cb_Red_cb2.con.body.xml.gz2004-04-08 10:07 1.3K 
[ ]cb_Red_cb2.con.types.xml.gz2004-04-08 10:07 1.4K 
[ ]cb_Red_cb2.con.xml.gz2004-04-08 10:07 963  
[ ]cb_redacc.con.body.xml.gz2004-04-08 10:07 67K 
[ ]cb_redacc.con.types.xml.gz2004-04-08 10:07 115K 
[ ]cb_redacc.con.xml.gz2004-04-08 10:07 1.1K 
[ ]def_grobner.con.body.xml.gz2004-04-08 10:07 19K 
[ ]def_grobner.con.types.xml.gz2004-04-08 10:07 22K 
[ ]def_grobner.con.xml.gz2004-04-08 10:07 1.4K 
[ ]divp_id.con.body.xml.gz2004-04-08 10:07 5.3K 
[ ]divp_id.con.types.xml.gz2004-04-08 10:07 12K 
[ ]divp_id.con.xml.gz2004-04-08 10:07 786  
[ ]divp_reduce1.con.body.xml.gz2004-04-08 10:07 76K 
[ ]divp_reduce1.con.types.xml.gz2004-04-08 10:07 148K 
[ ]divp_reduce1.con.xml.gz2004-04-08 10:07 1.9K 
[ ]grobner_def.con.body.xml.gz2004-04-08 10:07 50K 
[ ]grobner_def.con.types.xml.gz2004-04-08 10:07 71K 
[ ]grobner_def.con.xml.gz2004-04-08 10:07 1.4K 
[ ]nf_divp.con.body.xml.gz2004-04-08 10:07 99K 
[ ]nf_divp.con.types.xml.gz2004-04-08 10:07 262K 
[ ]nf_divp.con.xml.gz2004-04-08 10:07 2.0K 
[ ]nf_divp_zero.con.body.xml.gz2004-04-08 10:07 86K 
[ ]nf_divp_zero.con.types.xml.gz2004-04-08 10:07 256K 
[ ]nf_divp_zero.con.xml.gz2004-04-08 10:07 1.7K 
[ ]redacc.con.body.xml.gz2004-04-08 10:07 3.7K 
[ ]redacc.con.types.xml.gz2004-04-08 10:07 206  
[ ]redacc.con.xml.gz2004-04-08 10:07 631  
[ ]redacc_cb.con.body.xml.gz2004-04-08 10:07 19K 
[ ]redacc_cb.con.types.xml.gz2004-04-08 10:07 38K 
[ ]redacc_cb.con.xml.gz2004-04-08 10:07 1.1K 
[ ]redacc_divp.con.body.xml.gz2004-04-08 10:07 137K 
[ ]redacc_divp.con.types.xml.gz2004-04-08 10:07 232K 
[ ]redacc_divp.con.xml.gz2004-04-08 10:07 1.8K 
[ ]redbuch.con.body.xml.gz2004-04-08 10:07 802  
[ ]redbuch.con.types.xml.gz2004-04-08 10:07 207  
[ ]redbuch.con.xml.gz2004-04-08 10:07 578  
[ ]redbuch_Grobner.con.body.xml.gz2004-04-08 10:07 1.0K 
[ ]redbuch_Grobner.con.types.xml.gz2004-04-08 10:07 1.5K 
[ ]redbuch_Grobner.con.xml.gz2004-04-08 10:07 810  
[ ]redbuch_stable.con.body.xml.gz2004-04-08 10:07 11K 
[ ]redbuch_stable.con.types.xml.gz2004-04-08 10:07 14K 
[ ]redbuch_stable.con.xml.gz2004-04-08 10:07 767  
[ ]reduce_divp.con.body.xml.gz2004-04-08 10:07 71K 
[ ]reduce_divp.con.types.xml.gz2004-04-08 10:07 163K 
[ ]reduce_divp.con.xml.gz2004-04-08 10:07 1.8K 
[ ]reducep.con.body.xml.gz2004-04-08 10:07 1.0K 
[ ]reducep.con.types.xml.gz2004-04-08 10:07 208  
[ ]reducep.con.xml.gz2004-04-08 10:07 650  
[ ]reduceplus_divp.con.body.xml.gz2004-04-08 10:07 1.8K 
[ ]reduceplus_divp.con.types.xml.gz2004-04-08 10:07 2.9K 
[ ]reduceplus_divp.con.xml.gz2004-04-08 10:07 1.9K 
[ ]reduceplus_divp_lem.con.body.xml.gz2004-04-08 10:07 112K 
[ ]reduceplus_divp_lem.con.types.xml.gz2004-04-08 10:07 207K 
[ ]reduceplus_divp_lem.con.xml.gz2004-04-08 10:07 2.3K 
[ ]reducestar_divp.con.body.xml.gz2004-04-08 10:07 7.5K 
[ ]reducestar_divp.con.types.xml.gz2004-04-08 10:07 11K 
[ ]reducestar_divp.con.xml.gz2004-04-08 10:07 1.9K 
[ ]zerop_elim_Cb.con.body.xml.gz2004-04-08 10:07 5.9K 
[ ]zerop_elim_Cb.con.types.xml.gz2004-04-08 10:07 11K 
[ ]zerop_elim_Cb.con.xml.gz2004-04-08 10:07 1.2K 
[ ]zerop_elim_cb.con.body.xml.gz2004-04-08 10:07 5.9K 
[ ]zerop_elim_cb.con.types.xml.gz2004-04-08 10:07 11K 
[ ]zerop_elim_cb.con.xml.gz2004-04-08 10:07 1.2K 
[ ]zerop_nf_cb.con.body.xml.gz2004-04-08 10:07 1.2K 
[ ]zerop_nf_cb.con.types.xml.gz2004-04-08 10:07 1.5K 
[ ]zerop_nf_cb.con.xml.gz2004-04-08 10:07 1.1K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80