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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 3.3K 
[ ]Opm_ind.con.body.xml.gz2004-04-08 09:59 5.3K 
[ ]Opm_ind.con.types.xml.gz2004-04-08 09:59 5.5K 
[ ]Opm_ind.con.xml.gz2004-04-08 09:59 2.1K 
[DIR]Pminus/2005-07-05 08:13 -  
[ ]canonical_minusP.con.body.xml.gz2004-04-08 09:59 8.8K 
[ ]canonical_minusP.con.types.xml.gz2004-04-08 09:59 9.1K 
[ ]canonical_minusP.con.xml.gz2004-04-08 09:59 888  
[ ]canonical_minuspf.con.body.xml.gz2004-04-08 09:59 1.0K 
[ ]canonical_minuspf.con.types.xml.gz2004-04-08 09:59 1.1K 
[ ]canonical_minuspf.con.xml.gz2004-04-08 09:59 839  
[ ]inv.con.body.xml.gz2004-04-08 09:59 1.1K 
[ ]inv.con.types.xml.gz2004-04-08 09:59 201  
[ ]inv.con.xml.gz2004-04-08 09:59 498  
[ ]invTerm_T1_eqT_comp.con.body.xml.gz2004-04-08 09:59 1.5K 
[ ]invTerm_T1_eqT_comp.con.types.xml.gz2004-04-08 09:59 1.5K 
[ ]invTerm_T1_eqT_comp.con.xml.gz2004-04-08 09:59 810  
[ ]invTerm_T1_multTerm_T1.con.body.xml.gz2004-04-08 09:59 3.1K 
[ ]invTerm_T1_multTerm_T1.con.types.xml.gz2004-04-08 09:59 2.3K 
[ ]invTerm_T1_multTerm_T1.con.xml.gz2004-04-08 09:59 698  
[ ]invTerm_eqT_comp.con.body.xml.gz2004-04-08 09:59 752  
[ ]invTerm_eqT_comp.con.types.xml.gz2004-04-08 09:59 860  
[ ]invTerm_eqT_comp.con.xml.gz2004-04-08 09:59 651  
[ ]inv_prop.con.body.xml.gz2004-04-08 09:59 6.0K 
[ ]inv_prop.con.types.xml.gz2004-04-08 09:59 8.2K 
[ ]inv_prop.con.xml.gz2004-04-08 09:59 1.0K 
[ ]minusP.ind.types.xml.gz2004-04-08 09:59 205  
[ ]minusP.ind.xml.gz2004-04-08 09:59 3.2K 
[ ]minusP_ind.con.body.xml.gz2004-04-08 09:59 6.9K 
[ ]minusP_ind.con.types.xml.gz2004-04-08 09:59 8.1K 
[ ]minusP_ind.con.xml.gz2004-04-08 09:59 3.7K 
[ ]minusP_inv.con.body.xml.gz2004-04-08 09:59 62K 
[ ]minusP_inv.con.types.xml.gz2004-04-08 09:59 88K 
[ ]minusP_inv.con.xml.gz2004-04-08 09:59 2.6K 
[ ]minusP_inv1.con.body.xml.gz2004-04-08 09:59 60K 
[ ]minusP_inv1.con.types.xml.gz2004-04-08 09:59 95K 
[ ]minusP_inv1.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minusP_inv2.con.body.xml.gz2004-04-08 09:59 61K 
[ ]minusP_inv2.con.types.xml.gz2004-04-08 09:59 101K 
[ ]minusP_inv2.con.xml.gz2004-04-08 09:59 1.2K 
[ ]minusP_inv3a.con.body.xml.gz2004-04-08 09:59 54K 
[ ]minusP_inv3a.con.types.xml.gz2004-04-08 09:59 77K 
[ ]minusP_inv3a.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minusP_inv3b.con.body.xml.gz2004-04-08 09:59 57K 
[ ]minusP_inv3b.con.types.xml.gz2004-04-08 09:59 88K 
[ ]minusP_inv3b.con.xml.gz2004-04-08 09:59 1.3K 
[ ]minusP_is_plusP_mults.con.body.xml.gz2004-04-08 09:59 27K 
[ ]minusP_is_plusP_mults.con.types.xml.gz2004-04-08 09:59 32K 
[ ]minusP_is_plusP_mults.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minusP_pO_is_eqP.con.body.xml.gz2004-04-08 09:59 52K 
[ ]minusP_pO_is_eqP.con.types.xml.gz2004-04-08 09:59 71K 
[ ]minusP_pO_is_eqP.con.xml.gz2004-04-08 09:59 837  
[ ]minusP_pO_refl_eq.con.body.xml.gz2004-04-08 09:59 23K 
[ ]minusP_pO_refl_eq.con.types.xml.gz2004-04-08 09:59 32K 
[ ]minusP_pO_refl_eq.con.xml.gz2004-04-08 09:59 760  
[ ]minusP_refl.con.body.xml.gz2004-04-08 09:59 9.5K 
[ ]minusP_refl.con.types.xml.gz2004-04-08 09:59 9.9K 
[ ]minusP_refl.con.xml.gz2004-04-08 09:59 877  
[ ]minusTerm_zeroP.con.body.xml.gz2004-04-08 09:59 1.9K 
[ ]minusTerm_zeroP.con.types.xml.gz2004-04-08 09:59 1.5K 
[ ]minusTerm_zeroP.con.xml.gz2004-04-08 09:59 778  
[ ]minusTerm_zeroP_r.con.body.xml.gz2004-04-08 09:59 1.8K 
[ ]minusTerm_zeroP_r.con.types.xml.gz2004-04-08 09:59 1.6K 
[ ]minusTerm_zeroP_r.con.xml.gz2004-04-08 09:59 825  
[ ]minuspf.con.body.xml.gz2004-04-08 09:59 1.5K 
[ ]minuspf.con.types.xml.gz2004-04-08 09:59 208  
[ ]minuspf.con.xml.gz2004-04-08 09:59 525  
[ ]minuspf_comp.con.body.xml.gz2004-04-08 09:59 4.7K 
[ ]minuspf_comp.con.types.xml.gz2004-04-08 09:59 4.1K 
[ ]minuspf_comp.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_eq_inv1.con.body.xml.gz2004-04-08 09:59 3.5K 
[ ]minuspf_eq_inv1.con.types.xml.gz2004-04-08 09:59 4.6K 
[ ]minuspf_eq_inv1.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_eq_inv2.con.body.xml.gz2004-04-08 09:59 8.4K 
[ ]minuspf_eq_inv2.con.types.xml.gz2004-04-08 09:59 10K 
[ ]minuspf_eq_inv2.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv1.con.body.xml.gz2004-04-08 09:59 2.0K 
[ ]minuspf_inv1.con.types.xml.gz2004-04-08 09:59 1.9K 
[ ]minuspf_inv1.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv1_eq.con.body.xml.gz2004-04-08 09:59 1.9K 
[ ]minuspf_inv1_eq.con.types.xml.gz2004-04-08 09:59 2.0K 
[ ]minuspf_inv1_eq.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv2.con.body.xml.gz2004-04-08 09:59 2.2K 
[ ]minuspf_inv2.con.types.xml.gz2004-04-08 09:59 2.2K 
[ ]minuspf_inv2.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv2_eq.con.body.xml.gz2004-04-08 09:59 2.1K 
[ ]minuspf_inv2_eq.con.types.xml.gz2004-04-08 09:59 2.2K 
[ ]minuspf_inv2_eq.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv3a.con.body.xml.gz2004-04-08 09:59 1.9K 
[ ]minuspf_inv3a.con.types.xml.gz2004-04-08 09:59 1.7K 
[ ]minuspf_inv3a.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv3a_eq.con.body.xml.gz2004-04-08 09:59 1.8K 
[ ]minuspf_inv3a_eq.con.types.xml.gz2004-04-08 09:59 1.7K 
[ ]minuspf_inv3a_eq.con.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_inv3b.con.body.xml.gz2004-04-08 09:59 2.2K 
[ ]minuspf_inv3b.con.types.xml.gz2004-04-08 09:59 2.1K 
[ ]minuspf_inv3b.con.xml.gz2004-04-08 09:59 1.2K 
[ ]minuspf_inv3b_eq.con.body.xml.gz2004-04-08 09:59 2.1K 
[ ]minuspf_inv3b_eq.con.types.xml.gz2004-04-08 09:59 2.1K 
[ ]minuspf_inv3b_eq.con.xml.gz2004-04-08 09:59 1.2K 
[ ]minuspf_is_minusP.con.body.xml.gz2004-04-08 09:59 2.5K 
[ ]minuspf_is_minusP.con.types.xml.gz2004-04-08 09:59 8.7K 
[ ]minuspf_is_minusP.con.xml.gz2004-04-08 09:59 636  
[ ]minuspf_is_pluspf_mults.con.body.xml.gz2004-04-08 09:59 718  
[ ]minuspf_is_pluspf_mults.con.types.xml.gz2004-04-08 09:59 1.4K 
[ ]minuspf_is_pluspf_mults.con.xml.gz2004-04-08 09:59 1.0K 
[ ]minuspf_pO_is_eqP.con.body.xml.gz2004-04-08 09:59 884  
[ ]minuspf_pO_is_eqP.con.types.xml.gz2004-04-08 09:59 905  
[ ]minuspf_pO_is_eqP.con.xml.gz2004-04-08 09:59 796  
[ ]minuspf_pO_refl.con.body.xml.gz2004-04-08 09:59 1.4K 
[ ]minuspf_pO_refl.con.types.xml.gz2004-04-08 09:59 1.5K 
[ ]minuspf_pO_refl.con.xml.gz2004-04-08 09:59 694  
[ ]minuspf_pO_refl_eq.con.body.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_pO_refl_eq.con.types.xml.gz2004-04-08 09:59 1.0K 
[ ]minuspf_pO_refl_eq.con.xml.gz2004-04-08 09:59 701  
[ ]minuspf_pOmults.con.body.xml.gz2004-04-08 09:59 1.6K 
[ ]minuspf_pOmults.con.types.xml.gz2004-04-08 09:59 1.8K 
[ ]minuspf_pOmults.con.xml.gz2004-04-08 09:59 875  
[ ]minuspf_pOmults_eq.con.body.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_pOmults_eq.con.types.xml.gz2004-04-08 09:59 2.4K 
[ ]minuspf_pOmults_eq.con.xml.gz2004-04-08 09:59 871  
[ ]minuspf_refl.con.body.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_refl.con.types.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_refl.con.xml.gz2004-04-08 09:59 684  
[ ]minuspf_refl_eq.con.body.xml.gz2004-04-08 09:59 1.2K 
[ ]minuspf_refl_eq.con.types.xml.gz2004-04-08 09:59 1.1K 
[ ]minuspf_refl_eq.con.xml.gz2004-04-08 09:59 716  
[ ]minuspf_zero.con.body.xml.gz2004-04-08 09:59 1.6K 
[ ]minuspf_zero.con.types.xml.gz2004-04-08 09:59 1.5K 
[ ]minuspf_zero.con.xml.gz2004-04-08 09:59 863  
[ ]minuspp.con.body.xml.gz2004-04-08 09:59 23K 
[ ]minuspp.con.types.xml.gz2004-04-08 09:59 8.3K 
[ ]minuspp.con.xml.gz2004-04-08 09:59 1.1K 
[ ]multTerm_invTerm_T1_eqT_comp.con.body.xml.gz2004-04-08 09:59 1.7K 
[ ]multTerm_invTerm_T1_eqT_comp.con.types.xml.gz2004-04-08 09:59 1.7K 
[ ]multTerm_invTerm_T1_eqT_comp.con.xml.gz2004-04-08 09:59 818  
[ ]mults_comp_minuspf.con.body.xml.gz2004-04-08 09:59 17K 
[ ]mults_comp_minuspf.con.types.xml.gz2004-04-08 09:59 14K 
[ ]mults_comp_minuspf.con.xml.gz2004-04-08 09:59 1.2K 
[ ]mults_dist_minuspf.con.body.xml.gz2004-04-08 09:59 16K 
[ ]mults_dist_minuspf.con.types.xml.gz2004-04-08 09:59 13K 
[ ]mults_dist_minuspf.con.xml.gz2004-04-08 09:59 1.2K 
[ ]mults_minusTerm.con.body.xml.gz2004-04-08 09:59 7.6K 
[ ]mults_minusTerm.con.types.xml.gz2004-04-08 09:59 11K 
[ ]mults_minusTerm.con.xml.gz2004-04-08 09:59 1.3K 
[ ]mults_pO.con.body.xml.gz2004-04-08 09:59 4.9K 
[ ]mults_pO.con.types.xml.gz2004-04-08 09:59 6.0K 
[ ]mults_pO.con.xml.gz2004-04-08 09:59 1.1K 
[ ]order_minusP.con.body.xml.gz2004-04-08 09:59 12K 
[ ]order_minusP.con.types.xml.gz2004-04-08 09:59 13K 
[ ]order_minusP.con.xml.gz2004-04-08 09:59 1.1K 
[ ]order_minuspf.con.body.xml.gz2004-04-08 09:59 4.1K 
[ ]order_minuspf.con.types.xml.gz2004-04-08 09:59 4.0K 
[ ]order_minuspf.con.xml.gz2004-04-08 09:59 1.0K 
[ ]order_pluspf.con.body.xml.gz2004-04-08 09:59 1.5K 
[ ]order_pluspf.con.types.xml.gz2004-04-08 09:59 1.8K 
[ ]order_pluspf.con.xml.gz2004-04-08 09:59 1.1K 
[ ]pO_minusP_inv1.con.body.xml.gz2004-04-08 09:59 43K 
[ ]pO_minusP_inv1.con.types.xml.gz2004-04-08 09:59 71K 
[ ]pO_minusP_inv1.con.xml.gz2004-04-08 09:59 934  
[ ]pO_minusP_inv2.con.body.xml.gz2004-04-08 09:59 55K 
[ ]pO_minusP_inv2.con.types.xml.gz2004-04-08 09:59 83K 
[ ]pO_minusP_inv2.con.xml.gz2004-04-08 09:59 754  
[ ]pluspf_is_minuspf.con.body.xml.gz2004-04-08 09:59 6.8K 
[ ]pluspf_is_minuspf.con.types.xml.gz2004-04-08 09:59 5.6K 
[ ]pluspf_is_minuspf.con.xml.gz2004-04-08 09:59 1.2K 
[ ]pluspf_minuspf_id.con.body.xml.gz2004-04-08 09:59 10K 
[ ]pluspf_minuspf_id.con.types.xml.gz2004-04-08 09:59 8.7K 
[ ]pluspf_minuspf_id.con.xml.gz2004-04-08 09:59 1.0K 
[ ]sminus.con.body.xml.gz2004-04-08 09:59 2.3K 
[ ]sminus.con.types.xml.gz2004-04-08 09:59 476  
[ ]sminus.con.xml.gz2004-04-08 09:59 547  
[ ]uniq_minusp.con.body.xml.gz2004-04-08 09:59 230K 
[ ]uniq_minusp.con.types.xml.gz2004-04-08 09:59 287K 
[ ]uniq_minusp.con.xml.gz2004-04-08 09:59 1.3K 
[ ]zerop_is_eqTerm.con.body.xml.gz2004-04-08 09:59 6.9K 
[ ]zerop_is_eqTerm.con.types.xml.gz2004-04-08 09:59 5.2K 
[ ]zerop_is_eqTerm.con.xml.gz2004-04-08 09:59 782  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80