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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]spolyp_cons_genPcP0.con.types.xml.gz2004-04-08 10:06 212K 
[ ]spolyp_cons_genPcP0.con.body.xml.gz2004-04-08 10:06 157K 
[ ]reds_SpolyQ.con.types.xml.gz2004-04-08 10:06 130K 
[ ]slice_cons.con.types.xml.gz2004-04-08 10:06 105K 
[ ]slice_Tl.con.types.xml.gz2004-04-08 10:06 70K 
[ ]slice_inv.con.types.xml.gz2004-04-08 10:05 65K 
[ ]reds_SpolyQ.con.body.xml.gz2004-04-08 10:06 60K 
[ ]slicef_incl.con.types.xml.gz2004-04-08 10:05 51K 
[ ]slice_cons.con.body.xml.gz2004-04-08 10:06 51K 
[ ]genOCp_redln.con.body.xml.gz2004-04-08 10:06 49K 
[ ]genOCp_redln.con.types.xml.gz2004-04-08 10:06 48K 
[ ]genPcP_spolyp1.con.types.xml.gz2004-04-08 10:06 47K 
[ ]genPcP_spolyp1.con.body.xml.gz2004-04-08 10:06 38K 
[ ]spolyp_cons_genPcP.con.types.xml.gz2004-04-08 10:06 35K 
[ ]slice_inv.con.body.xml.gz2004-04-08 10:05 34K 
[ ]red_gen_in.con.body.xml.gz2004-04-08 10:06 31K 
[ ]OBuch_Inv.con.types.xml.gz2004-04-08 10:06 31K 
[ ]red_gen_in.con.types.xml.gz2004-04-08 10:06 31K 
[ ]OBuch_Inv.con.body.xml.gz2004-04-08 10:06 29K 
[ ]lem_redln_cons_gen.con.types.xml.gz2004-04-08 10:06 25K 
[ ]spolyp_cons_genPcP.con.body.xml.gz2004-04-08 10:06 25K 
[ ]pbuchf.con.body.xml.gz2004-04-08 10:06 24K 
[ ]lem_redln_cons_gen.con.body.xml.gz2004-04-08 10:06 23K 
[ ]Cb_genPcP.con.types.xml.gz2004-04-08 10:06 23K 
[ ]slice_Tl.con.body.xml.gz2004-04-08 10:06 21K 
[ ]slicef_incl.con.body.xml.gz2004-04-08 10:05 19K 
[ ]OBuch_Stable.con.types.xml.gz2004-04-08 10:06 16K 
[ ]Cb_genPcP.con.body.xml.gz2004-04-08 10:06 15K 
[ ]stable_trans.con.types.xml.gz2004-04-08 10:05 15K 
[ ]stable_trans.con.body.xml.gz2004-04-08 10:05 14K 
[ ]lem_redln_cons.con.body.xml.gz2004-04-08 10:06 13K 
[ ]spolyp_addEnd_genPcPf.con.types.xml.gz2004-04-08 10:06 13K 
[ ]imp_in.con.types.xml.gz2004-04-08 10:06 13K 
[ ]OBuch_Stable.con.body.xml.gz2004-04-08 10:06 13K 
[ ]genPcPf0.con.body.xml.gz2004-04-08 10:06 12K 
[ ]ObuchQred.con.types.xml.gz2004-04-08 10:06 12K 
[ ]lem_redln_cons.con.types.xml.gz2004-04-08 10:06 12K 
[ ]pbuchf_Stable.con.types.xml.gz2004-04-08 10:06 12K 
[ ]pbuchf_Inv.con.types.xml.gz2004-04-08 10:06 12K 
[ ]ObuchQred.con.body.xml.gz2004-04-08 10:06 11K 
[ ]imp_in.con.body.xml.gz2004-04-08 10:06 11K 
[ ]lem_redIn_nil.con.body.xml.gz2004-04-08 10:06 9.4K 
[ ]Cb_genPcPf.con.types.xml.gz2004-04-08 10:06 9.1K 
[ ]redIn_ind.con.body.xml.gz2004-04-08 10:06 8.2K 
[ ]lem_redIn_nil.con.types.xml.gz2004-04-08 10:06 7.7K 
[ ]redIn_ind.con.types.xml.gz2004-04-08 10:06 7.6K 
[ ]reds_SpolyQ1.con.body.xml.gz2004-04-08 10:06 7.1K 
[ ]OBuch_ind.con.body.xml.gz2004-04-08 10:06 7.0K 
[ ]OBuch_ind.con.types.xml.gz2004-04-08 10:06 6.9K 
[ ]redInclR.con.body.xml.gz2004-04-08 10:06 6.6K 
[ ]redInInclQ.con.body.xml.gz2004-04-08 10:06 6.5K 
[ ]redInInclQ.con.types.xml.gz2004-04-08 10:06 6.4K 
[ ]genPcP_ind.con.types.xml.gz2004-04-08 10:06 6.4K 
[ ]redInclP.con.body.xml.gz2004-04-08 10:06 6.3K 
[ ]redInclP.con.types.xml.gz2004-04-08 10:06 6.2K 
[ ]redInclR.con.types.xml.gz2004-04-08 10:06 6.2K 
[ ]genOCPf_stable.con.types.xml.gz2004-04-08 10:06 6.0K 
[ ]pbuchf.con.types.xml.gz2004-04-08 10:06 5.9K 
[ ]reds_SpolyQ1.con.types.xml.gz2004-04-08 10:06 5.8K 
[ ]genPcP_ind.con.body.xml.gz2004-04-08 10:06 5.6K 
[ ]pbuchf_Inv.con.body.xml.gz2004-04-08 10:06 5.6K 
[ ]slice.con.body.xml.gz2004-04-08 10:05 5.5K 
[ ]ObuchPred.con.types.xml.gz2004-04-08 10:06 5.4K 
[ ]ObuchPred.con.body.xml.gz2004-04-08 10:06 5.2K 
[ ]reds_ind.con.body.xml.gz2004-04-08 10:05 4.8K 
[ ]genPcPf0.con.types.xml.gz2004-04-08 10:06 4.8K 
[ ]genPcP_incl.con.types.xml.gz2004-04-08 10:06 4.6K 
[ ]genPcPf_incl.con.types.xml.gz2004-04-08 10:06 4.5K 
[ ]reds_ind.con.types.xml.gz2004-04-08 10:05 4.4K 
[ ]ObuchPincl.con.body.xml.gz2004-04-08 10:06 4.4K 
[ ]Cb_genPcPf.con.body.xml.gz2004-04-08 10:06 4.3K 
[ ]redIn_ind.con.xml.gz2004-04-08 10:06 4.2K 
[ ]buch_reds.con.types.xml.gz2004-04-08 10:06 4.2K 
[ ]genOCPf_stable.con.body.xml.gz2004-04-08 10:06 4.1K 
[ ]spolyp_addEnd_genPcPf.con.body.xml.gz2004-04-08 10:06 4.1K 
[ ]ObuchPincl.con.types.xml.gz2004-04-08 10:06 4.0K 
[ ]incl_addEnd1.con.types.xml.gz2004-04-08 10:06 4.0K 
[ ]pbuchf_Stable.con.body.xml.gz2004-04-08 10:06 3.9K 
[ ]addEnd_incl.con.types.xml.gz2004-04-08 10:06 3.8K 
[ ]buch_Stable.con.types.xml.gz2004-04-08 10:06 3.8K 
[ ]INDEX2005-07-05 08:12 3.7K 
[ ]OBuch_ind.con.xml.gz2004-04-08 10:06 3.6K 
[ ]genPcP_incl.con.body.xml.gz2004-04-08 10:06 3.6K 
[ ]redIn.ind.xml.gz2004-04-08 10:06 3.5K 
[ ]genPcP_ind.con.xml.gz2004-04-08 10:06 3.3K 
[ ]reds_com.con.body.xml.gz2004-04-08 10:05 3.0K 
[ ]reds_com.con.types.xml.gz2004-04-08 10:05 2.9K 
[ ]red_gen_in.con.xml.gz2004-04-08 10:06 2.9K 
[ ]OBuch.ind.xml.gz2004-04-08 10:06 2.8K 
[ ]genPcP.ind.xml.gz2004-04-08 10:06 2.7K 
[ ]spolyp_cons_genPcP.con.xml.gz2004-04-08 10:06 2.6K 
[ ]addEnd_incl.con.body.xml.gz2004-04-08 10:06 2.6K 
[ ]spolyp_addEnd_genPcPf.con.xml.gz2004-04-08 10:06 2.5K 
[ ]redln_cons_gen.con.types.xml.gz2004-04-08 10:06 2.5K 
[ ]incl_addEnd1.con.body.xml.gz2004-04-08 10:06 2.5K 
[ ]reds_ind.con.xml.gz2004-04-08 10:05 2.4K 
[ ]spolyp_cons_genPcP0.con.xml.gz2004-04-08 10:06 2.4K 
[ ]buch_reds.con.body.xml.gz2004-04-08 10:06 2.4K 
[ ]pbuchf_Inv.con.xml.gz2004-04-08 10:06 2.4K 
[ ]genPcPf_incl.con.body.xml.gz2004-04-08 10:06 2.2K 
[ ]redln_cons_gen.con.body.xml.gz2004-04-08 10:06 2.1K 
[ ]lem_redln_cons_gen.con.xml.gz2004-04-08 10:06 2.1K 
[ ]pbuchf_Stable.con.xml.gz2004-04-08 10:06 2.1K 
[ ]reds.ind.xml.gz2004-04-08 10:05 2.0K 
[ ]buch_Stable.con.body.xml.gz2004-04-08 10:06 2.0K 
[ ]Cb_stable.con.types.xml.gz2004-04-08 10:05 2.0K 
[ ]stable_ind.con.body.xml.gz2004-04-08 10:05 2.0K 
[ ]redln_cons.con.body.xml.gz2004-04-08 10:06 2.0K 
[ ]Cb_stable.con.body.xml.gz2004-04-08 10:05 1.9K 
[ ]Cb_genPcP.con.xml.gz2004-04-08 10:06 1.9K 
[ ]Cb_genPcPf.con.xml.gz2004-04-08 10:06 1.9K 
[ ]redln_cons_gen.con.xml.gz2004-04-08 10:06 1.9K 
[ ]stable_sym.con.body.xml.gz2004-04-08 10:05 1.8K 
[ ]genPcP_spolyp1.con.xml.gz2004-04-08 10:06 1.8K 
[ ]redln_cons.con.types.xml.gz2004-04-08 10:06 1.8K 
[ ]buch.con.body.xml.gz2004-04-08 10:06 1.8K 
[ ]slice_cons.con.xml.gz2004-04-08 10:06 1.7K 
[ ]lem_redln_cons.con.xml.gz2004-04-08 10:06 1.7K 
[ ]OBuch_Inv_f.con.body.xml.gz2004-04-08 10:06 1.7K 
[ ]OBuch_Inv_f.con.types.xml.gz2004-04-08 10:06 1.6K 
[ ]stable_ind.con.xml.gz2004-04-08 10:05 1.6K 
[ ]stable_ind.con.types.xml.gz2004-04-08 10:05 1.6K 
[ ]OBuch_Inv.con.xml.gz2004-04-08 10:06 1.5K 
[ ]redln_cons.con.xml.gz2004-04-08 10:06 1.5K 
[ ]redIn_nil.con.body.xml.gz2004-04-08 10:06 1.5K 
[ ]stable_sym.con.types.xml.gz2004-04-08 10:05 1.5K 
[ ]genPcPf.con.body.xml.gz2004-04-08 10:06 1.4K 
[ ]buch_spolyQ.con.types.xml.gz2004-04-08 10:06 1.4K 
[ ]redIn_nil.con.types.xml.gz2004-04-08 10:06 1.4K 
[ ]lem_redIn_nil.con.xml.gz2004-04-08 10:06 1.4K 
[ ]slice_inv.con.xml.gz2004-04-08 10:05 1.4K 
[ ]stable.ind.xml.gz2004-04-08 10:05 1.3K 
[ ]PtoS.con.body.xml.gz2004-04-08 10:06 1.3K 
[ ]wf_Co.con.types.xml.gz2004-04-08 10:06 1.3K 
[ ]OBuch_Stable_f.con.types.xml.gz2004-04-08 10:06 1.3K 
[ ]imp_in.con.xml.gz2004-04-08 10:06 1.3K 
[ ]pbuchf.con.xml.gz2004-04-08 10:06 1.2K 
[ ]genOCPf.con.body.xml.gz2004-04-08 10:06 1.2K 
[ ]buch_Grobner.con.types.xml.gz2004-04-08 10:06 1.2K 
[ ]stable_refl.con.types.xml.gz2004-04-08 10:05 1.2K 
[ ]OBuch_Stable.con.xml.gz2004-04-08 10:06 1.2K 
[ ]strip.con.body.xml.gz2004-04-08 10:06 1.2K 
[ ]wf_RL.con.types.xml.gz2004-04-08 10:06 1.2K 
[ ]redInInclQ.con.xml.gz2004-04-08 10:06 1.1K 
[ ]reds_SpolyQ1.con.xml.gz2004-04-08 10:06 1.1K 
[ ]buch_spolyQ.con.body.xml.gz2004-04-08 10:06 1.1K 
[ ]genOCp_redln.con.xml.gz2004-04-08 10:06 1.1K 
[ ]wf_Tl.con.types.xml.gz2004-04-08 10:06 1.1K 
[ ]redInclR.con.xml.gz2004-04-08 10:06 1.1K 
[ ]redInclP.con.xml.gz2004-04-08 10:06 1.1K 
[ ]ObuchPred.con.xml.gz2004-04-08 10:06 1.1K 
[ ]OBuch_Stable_f.con.body.xml.gz2004-04-08 10:06 1.1K 
[ ]ObuchQred.con.xml.gz2004-04-08 10:06 1.1K 
[ ]slicef.con.body.xml.gz2004-04-08 10:05 1.1K 
[ ]addRes.con.body.xml.gz2004-04-08 10:05 1.1K 
[ ]reds_SpolyQ.con.xml.gz2004-04-08 10:06 1.1K 
[ ]addEnd_incl.con.xml.gz2004-04-08 10:06 1.1K 
[ ]OBuch_Inv_f.con.xml.gz2004-04-08 10:06 1.1K 
[ ]incl_addEnd1.con.xml.gz2004-04-08 10:06 1.1K 
[ ]buch_Grobner.con.body.xml.gz2004-04-08 10:06 1.1K 
[ ]redIn_nil.con.xml.gz2004-04-08 10:06 1.1K 
[ ]stable_refl.con.body.xml.gz2004-04-08 10:05 1.1K 
[ ]genPcPf0.con.xml.gz2004-04-08 10:06 1.0K 
[ ]wf_Fl.con.types.xml.gz2004-04-08 10:06 1.0K 
[ ]wf_Co.con.body.xml.gz2004-04-08 10:06 1.0K 
[ ]cpRes_ind.con.types.xml.gz2004-04-08 10:05 1.0K 
[ ]buch_reds.con.xml.gz2004-04-08 10:06 1.0K 
[ ]genOCPf_stable.con.xml.gz2004-04-08 10:06 1.0K 
[ ]genPcP_incl.con.xml.gz2004-04-08 10:06 1.0K 
[ ]cpRes_rect.con.body.xml.gz2004-04-08 10:05 1.0K 
[ ]Cb_stable.con.xml.gz2004-04-08 10:05 966  
[ ]slice_Tl.con.xml.gz2004-04-08 10:06 911  
[ ]genPcPf_incl.con.xml.gz2004-04-08 10:06 904  
[ ]ObuchPincl.con.xml.gz2004-04-08 10:06 884  
[ ]in_incl.con.types.xml.gz2004-04-08 10:05 874  
[ ]RL.con.body.xml.gz2004-04-08 10:06 859  
[ ]slicef_incl.con.xml.gz2004-04-08 10:05 857  
[ ]Sdep.con.body.xml.gz2004-04-08 10:06 839  
[ ]Tl.con.body.xml.gz2004-04-08 10:06 816  
[ ]cpRes_ind.con.xml.gz2004-04-08 10:05 815  
[ ]buch_Grobner.con.xml.gz2004-04-08 10:06 814  
[ ]wf_Tl.con.body.xml.gz2004-04-08 10:06 812  
[ ]getRes.con.body.xml.gz2004-04-08 10:05 812  
[ ]wf_RL.con.body.xml.gz2004-04-08 10:06 811  
[ ]cpRes_rec.con.xml.gz2004-04-08 10:05 810  
[ ]cpRes_rect.con.xml.gz2004-04-08 10:05 808  
[ ]buch_spolyQ.con.xml.gz2004-04-08 10:06 796  
[ ]stable_trans.con.xml.gz2004-04-08 10:05 794  
[ ]reds_com.con.xml.gz2004-04-08 10:05 787  
[ ]wf_Fl.con.body.xml.gz2004-04-08 10:06 783  
[ ]RL.con.xml.gz2004-04-08 10:06 778  
[ ]strip.con.xml.gz2004-04-08 10:06 777  
[ ]OBuch_Stable_f.con.xml.gz2004-04-08 10:06 752  
[ ]genPcPf.con.xml.gz2004-04-08 10:06 727  
[ ]Sdep.con.types.xml.gz2004-04-08 10:06 723  
[ ]stable_sym.con.xml.gz2004-04-08 10:05 695  
[ ]Fl.con.body.xml.gz2004-04-08 10:06 688  
[ ]slicef.con.xml.gz2004-04-08 10:05 679  
[ ]in_incl.con.body.xml.gz2004-04-08 10:05 674  
[ ]PtoS.con.xml.gz2004-04-08 10:06 672  
[ ]wf_RL.con.xml.gz2004-04-08 10:06 661  
[ ]cpRes.ind.xml.gz2004-04-08 10:05 658  
[ ]slice.con.xml.gz2004-04-08 10:05 648  
[ ]buch_Stable.con.xml.gz2004-04-08 10:06 643  
[ ]Sdep.con.xml.gz2004-04-08 10:06 640  
[ ]wf_Fl.con.xml.gz2004-04-08 10:06 624  
[ ]in_incl.con.xml.gz2004-04-08 10:05 606  
[ ]wf_Co.con.xml.gz2004-04-08 10:06 600  
[ ]Fl.con.xml.gz2004-04-08 10:06 590  
[ ]buch.con.xml.gz2004-04-08 10:06 587  
[ ]stable_refl.con.xml.gz2004-04-08 10:05 583  
[ ]genOCPf.con.xml.gz2004-04-08 10:06 578  
[ ]Tl.con.xml.gz2004-04-08 10:06 553  
[ ]wf_Tl.con.xml.gz2004-04-08 10:06 501  
[ ]getRes.con.xml.gz2004-04-08 10:05 491  
[ ]addRes.con.xml.gz2004-04-08 10:05 459  
[ ]cpRes_ind.con.body.xml.gz2004-04-08 10:05 445  
[ ]cpRes_rec.con.body.xml.gz2004-04-08 10:05 442  
[ ]cpRes_rect.con.types.xml.gz2004-04-08 10:05 211  
[ ]cpRes_rec.con.types.xml.gz2004-04-08 10:05 210  
[ ]genPcPf.con.types.xml.gz2004-04-08 10:06 206  
[ ]genOCPf.con.types.xml.gz2004-04-08 10:06 206  
[ ]slicef.con.types.xml.gz2004-04-08 10:05 204  
[ ]getRes.con.types.xml.gz2004-04-08 10:05 204  
[ ]addRes.con.types.xml.gz2004-04-08 10:05 204  
[ ]stable.ind.types.xml.gz2004-04-08 10:05 203  
[ ]genPcP.ind.types.xml.gz2004-04-08 10:06 203  
[ ]strip.con.types.xml.gz2004-04-08 10:06 202  
[ ]slice.con.types.xml.gz2004-04-08 10:05 202  
[ ]redIn.ind.types.xml.gz2004-04-08 10:06 201  
[ ]cpRes.ind.types.xml.gz2004-04-08 10:05 201  
[ ]buch.con.types.xml.gz2004-04-08 10:06 201  
[ ]OBuch.ind.types.xml.gz2004-04-08 10:06 201  
[ ]reds.ind.types.xml.gz2004-04-08 10:05 200  
[ ]PtoS.con.types.xml.gz2004-04-08 10:06 200  
[ ]RL.con.types.xml.gz2004-04-08 10:06 198  
[ ]Fl.con.types.xml.gz2004-04-08 10:06 198  
[ ]Tl.con.types.xml.gz2004-04-08 10:06 197  
[DIR]Buch/2005-07-05 08:13 -  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80