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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]INDEX2005-07-05 08:12 2.3K 
[DIR]Pplus/2005-07-05 08:13 -  
[   ]canonical_plusP.con.body.xml.gz2004-04-08 09:58 7.1K 
[   ]canonical_plusP.con.types.xml.gz2004-04-08 09:58 7.4K 
[   ]canonical_plusP.con.xml.gz2004-04-08 09:58 860  
[   ]canonical_pluspf.con.body.xml.gz2004-04-08 09:58 1.0K 
[   ]canonical_pluspf.con.types.xml.gz2004-04-08 09:58 1.1K 
[   ]canonical_pluspf.con.xml.gz2004-04-08 09:58 814  
[   ]eqp_pluspf_com.con.body.xml.gz2004-04-08 09:58 1.5K 
[   ]eqp_pluspf_com.con.types.xml.gz2004-04-08 09:58 1.4K 
[   ]eqp_pluspf_com.con.xml.gz2004-04-08 09:58 1.2K 
[   ]eqp_pluspf_com_l.con.body.xml.gz2004-04-08 09:58 24K 
[   ]eqp_pluspf_com_l.con.types.xml.gz2004-04-08 09:58 26K 
[   ]eqp_pluspf_com_l.con.xml.gz2004-04-08 09:58 1.0K 
[   ]eqp_pluspf_com_r.con.body.xml.gz2004-04-08 09:58 24K 
[   ]eqp_pluspf_com_r.con.types.xml.gz2004-04-08 09:58 26K 
[   ]eqp_pluspf_com_r.con.xml.gz2004-04-08 09:58 1.0K 
[   ]order_plusP.con.body.xml.gz2004-04-08 09:58 9.4K 
[   ]order_plusP.con.types.xml.gz2004-04-08 09:58 10K 
[   ]order_plusP.con.xml.gz2004-04-08 09:58 1.1K 
[   ]order_pluspf.con.body.xml.gz2004-04-08 09:58 1.2K 
[   ]order_pluspf.con.types.xml.gz2004-04-08 09:58 1.3K 
[   ]order_pluspf.con.xml.gz2004-04-08 09:58 1.0K 
[   ]p0_pluspf_l.con.body.xml.gz2004-04-08 09:58 1.1K 
[   ]p0_pluspf_l.con.types.xml.gz2004-04-08 09:58 962  
[   ]p0_pluspf_l.con.xml.gz2004-04-08 09:58 692  
[   ]p0_pluspf_r.con.body.xml.gz2004-04-08 09:58 1.1K 
[   ]p0_pluspf_r.con.types.xml.gz2004-04-08 09:58 958  
[   ]p0_pluspf_r.con.xml.gz2004-04-08 09:58 686  
[   ]pO_plusP_inv1.con.body.xml.gz2004-04-08 09:58 37K 
[   ]pO_plusP_inv1.con.types.xml.gz2004-04-08 09:58 54K 
[   ]pO_plusP_inv1.con.xml.gz2004-04-08 09:58 743  
[   ]pO_plusP_inv2.con.body.xml.gz2004-04-08 09:58 53K 
[   ]pO_plusP_inv2.con.types.xml.gz2004-04-08 09:58 80K 
[   ]pO_plusP_inv2.con.xml.gz2004-04-08 09:58 747  
[   ]pO_pluspf_inv1.con.body.xml.gz2004-04-08 09:58 888  
[   ]pO_pluspf_inv1.con.types.xml.gz2004-04-08 09:58 1.9K 
[   ]pO_pluspf_inv1.con.xml.gz2004-04-08 09:58 686  
[   ]pO_pluspf_inv2.con.body.xml.gz2004-04-08 09:58 885  
[   ]pO_pluspf_inv2.con.types.xml.gz2004-04-08 09:58 1.9K 
[   ]pO_pluspf_inv2.con.xml.gz2004-04-08 09:58 684  
[   ]plusP.ind.types.xml.gz2004-04-08 09:57 203  
[   ]plusP.ind.xml.gz2004-04-08 09:57 3.0K 
[   ]plusP_com.con.body.xml.gz2004-04-08 09:58 11K 
[   ]plusP_com.con.types.xml.gz2004-04-08 09:58 9.7K 
[   ]plusP_com.con.xml.gz2004-04-08 09:58 822  
[   ]plusP_decomp.con.body.xml.gz2004-04-08 09:58 2.0K 
[   ]plusP_decomp.con.types.xml.gz2004-04-08 09:58 3.1K 
[   ]plusP_decomp.con.xml.gz2004-04-08 09:58 856  
[   ]plusP_ind.con.body.xml.gz2004-04-08 09:57 6.7K 
[   ]plusP_ind.con.types.xml.gz2004-04-08 09:57 7.4K 
[   ]plusP_ind.con.xml.gz2004-04-08 09:57 3.5K 
[   ]plusP_inv.con.body.xml.gz2004-04-08 09:57 59K 
[   ]plusP_inv.con.types.xml.gz2004-04-08 09:57 81K 
[   ]plusP_inv.con.xml.gz2004-04-08 09:57 2.5K 
[   ]plusP_inv1.con.body.xml.gz2004-04-08 09:58 62K 
[   ]plusP_inv1.con.types.xml.gz2004-04-08 09:58 101K 
[   ]plusP_inv1.con.xml.gz2004-04-08 09:58 1.1K 
[   ]plusP_inv2.con.body.xml.gz2004-04-08 09:58 59K 
[   ]plusP_inv2.con.types.xml.gz2004-04-08 09:58 93K 
[   ]plusP_inv2.con.xml.gz2004-04-08 09:58 1.1K 
[   ]plusP_inv3a.con.body.xml.gz2004-04-08 09:58 53K 
[   ]plusP_inv3a.con.types.xml.gz2004-04-08 09:58 74K 
[   ]plusP_inv3a.con.xml.gz2004-04-08 09:58 1.1K 
[   ]plusP_inv3b.con.body.xml.gz2004-04-08 09:58 58K 
[   ]plusP_inv3b.con.types.xml.gz2004-04-08 09:58 91K 
[   ]plusP_inv3b.con.xml.gz2004-04-08 09:58 1.3K 
[   ]plusP_uniq_eqP.con.body.xml.gz2004-04-08 09:58 1.5K 
[   ]plusP_uniq_eqP.con.types.xml.gz2004-04-08 09:58 1.9K 
[   ]plusP_uniq_eqP.con.xml.gz2004-04-08 09:58 818  
[   ]plusP_zero_pOl.con.body.xml.gz2004-04-08 09:58 17K 
[   ]plusP_zero_pOl.con.types.xml.gz2004-04-08 09:58 22K 
[   ]plusP_zero_pOl.con.xml.gz2004-04-08 09:58 734  
[   ]plusP_zero_pOr.con.body.xml.gz2004-04-08 09:58 22K 
[   ]plusP_zero_pOr.con.types.xml.gz2004-04-08 09:58 29K 
[   ]plusP_zero_pOr.con.xml.gz2004-04-08 09:58 733  
[   ]plusTerm_is_pX.con.body.xml.gz2004-04-08 09:58 3.5K 
[   ]plusTerm_is_pX.con.types.xml.gz2004-04-08 09:58 4.5K 
[   ]plusTerm_is_pX.con.xml.gz2004-04-08 09:58 1.0K 
[   ]plusp.con.body.xml.gz2004-04-08 09:57 25K 
[   ]plusp.con.types.xml.gz2004-04-08 09:57 8.4K 
[   ]plusp.con.xml.gz2004-04-08 09:57 1.0K 
[   ]pluspf.con.body.xml.gz2004-04-08 09:57 1.4K 
[   ]pluspf.con.types.xml.gz2004-04-08 09:57 205  
[   ]pluspf.con.xml.gz2004-04-08 09:57 511  
[   ]pluspf3_assoc.con.body.xml.gz2004-04-08 09:58 280K 
[   ]pluspf3_assoc.con.types.xml.gz2004-04-08 09:58 436K 
[   ]pluspf3_assoc.con.xml.gz2004-04-08 09:58 3.2K 
[   ]pluspf_assoc.con.body.xml.gz2004-04-08 09:58 1.3K 
[   ]pluspf_assoc.con.types.xml.gz2004-04-08 09:58 6.1K 
[   ]pluspf_assoc.con.xml.gz2004-04-08 09:58 1.0K 
[   ]pluspf_com.con.body.xml.gz2004-04-08 09:58 732  
[   ]pluspf_com.con.types.xml.gz2004-04-08 09:58 890  
[   ]pluspf_com.con.xml.gz2004-04-08 09:58 706  
[   ]pluspf_inv1.con.body.xml.gz2004-04-08 09:58 2.0K 
[   ]pluspf_inv1.con.types.xml.gz2004-04-08 09:58 1.9K 
[   ]pluspf_inv1.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv1_eq.con.body.xml.gz2004-04-08 09:58 1.9K 
[   ]pluspf_inv1_eq.con.types.xml.gz2004-04-08 09:58 2.0K 
[   ]pluspf_inv1_eq.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv1_eqa.con.body.xml.gz2004-04-08 09:58 4.0K 
[   ]pluspf_inv1_eqa.con.types.xml.gz2004-04-08 09:58 5.6K 
[   ]pluspf_inv1_eqa.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv2.con.body.xml.gz2004-04-08 09:58 2.0K 
[   ]pluspf_inv2.con.types.xml.gz2004-04-08 09:58 1.9K 
[   ]pluspf_inv2.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv2_eq.con.body.xml.gz2004-04-08 09:58 1.9K 
[   ]pluspf_inv2_eq.con.types.xml.gz2004-04-08 09:58 2.0K 
[   ]pluspf_inv2_eq.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv2_eqa.con.body.xml.gz2004-04-08 09:58 3.5K 
[   ]pluspf_inv2_eqa.con.types.xml.gz2004-04-08 09:58 4.9K 
[   ]pluspf_inv2_eqa.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv3a.con.body.xml.gz2004-04-08 09:58 1.9K 
[   ]pluspf_inv3a.con.types.xml.gz2004-04-08 09:58 1.7K 
[   ]pluspf_inv3a.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv3a_eq.con.body.xml.gz2004-04-08 09:58 1.8K 
[   ]pluspf_inv3a_eq.con.types.xml.gz2004-04-08 09:58 1.7K 
[   ]pluspf_inv3a_eq.con.xml.gz2004-04-08 09:58 1.1K 
[   ]pluspf_inv3b.con.body.xml.gz2004-04-08 09:58 2.2K 
[   ]pluspf_inv3b.con.types.xml.gz2004-04-08 09:58 2.1K 
[   ]pluspf_inv3b.con.xml.gz2004-04-08 09:58 1.2K 
[   ]pluspf_inv3b_eq.con.body.xml.gz2004-04-08 09:58 2.1K 
[   ]pluspf_inv3b_eq.con.types.xml.gz2004-04-08 09:58 2.1K 
[   ]pluspf_inv3b_eq.con.xml.gz2004-04-08 09:58 1.2K 
[   ]pluspf_is_plusP.con.body.xml.gz2004-04-08 09:58 2.5K 
[   ]pluspf_is_plusP.con.types.xml.gz2004-04-08 09:58 8.6K 
[   ]pluspf_is_plusP.con.xml.gz2004-04-08 09:58 620  
[   ]projsig1.con.body.xml.gz2004-04-08 09:57 684  
[   ]projsig1.con.types.xml.gz2004-04-08 09:57 209  
[   ]projsig1.con.xml.gz2004-04-08 09:57 420  
[   ]splus.con.body.xml.gz2004-04-08 09:58 2.3K 
[   ]splus.con.types.xml.gz2004-04-08 09:58 474  
[   ]splus.con.xml.gz2004-04-08 09:58 524  
[   ]uniq_plusp.con.body.xml.gz2004-04-08 09:58 213K 
[   ]uniq_plusp.con.types.xml.gz2004-04-08 09:58 266K 
[   ]uniq_plusp.con.xml.gz2004-04-08 09:58 1.2K 

Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80