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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:12 3.0K 
[DIR]Porder/2005-07-05 08:13 -  
[ ]T1_is_min_ltT.con.body.xml.gz2004-04-08 09:57 955  
[ ]T1_is_min_ltT.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]T1_is_min_ltT.con.xml.gz2004-04-08 09:57 558  
[ ]app2_inv.con.body.xml.gz2004-04-08 09:57 9.2K 
[ ]app2_inv.con.types.xml.gz2004-04-08 09:57 15K 
[ ]app2_inv.con.xml.gz2004-04-08 09:57 1.0K 
[ ]canonical.con.body.xml.gz2004-04-08 09:57 582  
[ ]canonical.con.types.xml.gz2004-04-08 09:57 211  
[ ]canonical.con.xml.gz2004-04-08 09:57 480  
[ ]canonical0.con.body.xml.gz2004-04-08 09:57 1.3K 
[ ]canonical0.con.types.xml.gz2004-04-08 09:57 1.3K 
[ ]canonical0.con.xml.gz2004-04-08 09:57 799  
[ ]canonical_cons.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]canonical_cons.con.types.xml.gz2004-04-08 09:57 2.2K 
[ ]canonical_cons.con.xml.gz2004-04-08 09:57 866  
[ ]canonical_imp_canonical.con.body.xml.gz2004-04-08 09:57 1.5K 
[ ]canonical_imp_canonical.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]canonical_imp_canonical.con.xml.gz2004-04-08 09:57 657  
[ ]canonical_imp_in_nzero.con.body.xml.gz2004-04-08 09:57 2.8K 
[ ]canonical_imp_in_nzero.con.types.xml.gz2004-04-08 09:57 3.2K 
[ ]canonical_imp_in_nzero.con.xml.gz2004-04-08 09:57 814  
[ ]canonical_imp_olist.con.body.xml.gz2004-04-08 09:57 778  
[ ]canonical_imp_olist.con.types.xml.gz2004-04-08 09:57 771  
[ ]canonical_imp_olist.con.xml.gz2004-04-08 09:57 579  
[ ]canonical_ltT.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]canonical_ltT.con.types.xml.gz2004-04-08 09:57 966  
[ ]canonical_ltT.con.xml.gz2004-04-08 09:57 807  
[ ]canonical_nzeroP.con.body.xml.gz2004-04-08 09:57 1.8K 
[ ]canonical_nzeroP.con.types.xml.gz2004-04-08 09:57 1.9K 
[ ]canonical_nzeroP.con.xml.gz2004-04-08 09:57 732  
[ ]canonical_pX_eqT.con.body.xml.gz2004-04-08 09:57 1.9K 
[ ]canonical_pX_eqT.con.types.xml.gz2004-04-08 09:57 1.8K 
[ ]canonical_pX_eqT.con.xml.gz2004-04-08 09:57 869  
[ ]canonical_pX_ltP.con.body.xml.gz2004-04-08 09:57 755  
[ ]canonical_pX_ltP.con.types.xml.gz2004-04-08 09:57 788  
[ ]canonical_pX_ltP.con.xml.gz2004-04-08 09:57 680  
[ ]canonical_pX_order.con.body.xml.gz2004-04-08 09:57 856  
[ ]canonical_pX_order.con.types.xml.gz2004-04-08 09:57 821  
[ ]canonical_pX_order.con.xml.gz2004-04-08 09:57 726  
[ ]canonical_skip_fst.con.body.xml.gz2004-04-08 09:57 3.4K 
[ ]canonical_skip_fst.con.types.xml.gz2004-04-08 09:57 3.6K 
[ ]canonical_skip_fst.con.xml.gz2004-04-08 09:57 738  
[ ]descA_subst.con.body.xml.gz2004-04-08 09:57 715  
[ ]descA_subst.con.types.xml.gz2004-04-08 09:57 601  
[ ]descA_subst.con.xml.gz2004-04-08 09:57 505  
[ ]eqT_compat_ltTl.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]eqT_compat_ltTl.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]eqT_compat_ltTl.con.xml.gz2004-04-08 09:57 646  
[ ]eqT_compat_ltTr.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]eqT_compat_ltTr.con.types.xml.gz2004-04-08 09:57 1.4K 
[ ]eqT_compat_ltTr.con.xml.gz2004-04-08 09:57 648  
[ ]eqT_dec.con.body.xml.gz2004-04-08 09:57 583  
[ ]eqT_dec.con.types.xml.gz2004-04-08 09:57 209  
[ ]eqT_dec.con.xml.gz2004-04-08 09:57 648  
[ ]eqT_not_ltT.con.body.xml.gz2004-04-08 09:57 1.7K 
[ ]eqT_not_ltT.con.types.xml.gz2004-04-08 09:57 1.9K 
[ ]eqT_not_ltT.con.xml.gz2004-04-08 09:57 609  
[ ]fP.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]fP.con.types.xml.gz2004-04-08 09:57 200  
[ ]fP.con.xml.gz2004-04-08 09:57 443  
[ ]fP_app.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]fP_app.con.types.xml.gz2004-04-08 09:57 3.5K 
[ ]fP_app.con.xml.gz2004-04-08 09:57 791  
[ ]fltP.con.body.xml.gz2004-04-08 09:57 2.9K 
[ ]fltP.con.types.xml.gz2004-04-08 09:57 4.4K 
[ ]fltP.con.xml.gz2004-04-08 09:57 747  
[ ]fp_tail.con.body.xml.gz2004-04-08 09:57 2.9K 
[ ]fp_tail.con.types.xml.gz2004-04-08 09:57 4.6K 
[ ]fp_tail.con.xml.gz2004-04-08 09:57 1.0K 
[ ]fsltP.con.body.xml.gz2004-04-08 09:57 2.3K 
[ ]fsltP.con.types.xml.gz2004-04-08 09:57 5.0K 
[ ]fsltP.con.xml.gz2004-04-08 09:57 661  
[ ]fspoly.con.body.xml.gz2004-04-08 09:57 1.2K 
[ ]fspoly.con.types.xml.gz2004-04-08 09:57 386  
[ ]fspoly.con.xml.gz2004-04-08 09:57 513  
[ ]invTerm_ltT_l.con.body.xml.gz2004-04-08 09:57 1.5K 
[ ]invTerm_ltT_l.con.types.xml.gz2004-04-08 09:57 2.0K 
[ ]invTerm_ltT_l.con.xml.gz2004-04-08 09:57 610  
[ ]ltP.ind.types.xml.gz2004-04-08 09:57 200  
[ ]ltP.ind.xml.gz2004-04-08 09:57 1.3K 
[ ]ltP_ind.con.body.xml.gz2004-04-08 09:57 2.9K 
[ ]ltP_ind.con.types.xml.gz2004-04-08 09:57 2.8K 
[ ]ltP_ind.con.xml.gz2004-04-08 09:57 1.5K 
[ ]ltP_order_comp.con.body.xml.gz2004-04-08 09:57 18K 
[ ]ltP_order_comp.con.types.xml.gz2004-04-08 09:57 20K 
[ ]ltP_order_comp.con.xml.gz2004-04-08 09:57 807  
[ ]ltP_pX_canonical.con.body.xml.gz2004-04-08 09:57 2.8K 
[ ]ltP_pX_canonical.con.types.xml.gz2004-04-08 09:57 2.5K 
[ ]ltP_pX_canonical.con.xml.gz2004-04-08 09:57 824  
[ ]ltP_pX_olist.con.body.xml.gz2004-04-08 09:57 20K 
[ ]ltP_pX_olist.con.types.xml.gz2004-04-08 09:57 22K 
[ ]ltP_pX_olist.con.xml.gz2004-04-08 09:57 704  
[ ]ltP_trans.con.body.xml.gz2004-04-08 09:57 35K 
[ ]ltP_trans.con.types.xml.gz2004-04-08 09:57 38K 
[ ]ltP_trans.con.xml.gz2004-04-08 09:57 667  
[ ]ltT.con.body.xml.gz2004-04-08 09:57 564  
[ ]ltT.con.types.xml.gz2004-04-08 09:57 201  
[ ]ltT.con.xml.gz2004-04-08 09:57 417  
[ ]ltT_dec.con.body.xml.gz2004-04-08 09:57 574  
[ ]ltT_dec.con.types.xml.gz2004-04-08 09:57 209  
[ ]ltT_dec.con.xml.gz2004-04-08 09:57 662  
[ ]ltT_eqT.con.body.xml.gz2004-04-08 09:57 1.7K 
[ ]ltT_eqT.con.types.xml.gz2004-04-08 09:57 1.9K 
[ ]ltT_eqT.con.xml.gz2004-04-08 09:57 712  
[ ]ltT_eqTl.con.body.xml.gz2004-04-08 09:57 741  
[ ]ltT_eqTl.con.types.xml.gz2004-04-08 09:57 941  
[ ]ltT_eqTl.con.xml.gz2004-04-08 09:57 640  
[ ]ltT_eqTr.con.body.xml.gz2004-04-08 09:57 741  
[ ]ltT_eqTr.con.types.xml.gz2004-04-08 09:57 942  
[ ]ltT_eqTr.con.xml.gz2004-04-08 09:57 641  
[ ]ltT_not_eqT.con.body.xml.gz2004-04-08 09:57 1.1K 
[ ]ltT_not_eqT.con.types.xml.gz2004-04-08 09:57 1.1K 
[ ]ltT_not_eqT.con.xml.gz2004-04-08 09:57 606  
[ ]ltT_not_ltT.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]ltT_not_ltT.con.types.xml.gz2004-04-08 09:57 1.3K 
[ ]ltT_not_ltT.con.xml.gz2004-04-08 09:57 570  
[ ]ltT_not_refl.con.body.xml.gz2004-04-08 09:57 659  
[ ]ltT_not_refl.con.types.xml.gz2004-04-08 09:57 686  
[ ]ltT_not_refl.con.xml.gz2004-04-08 09:57 503  
[ ]ltT_trans.con.body.xml.gz2004-04-08 09:57 1.0K 
[ ]ltT_trans.con.types.xml.gz2004-04-08 09:57 1.3K 
[ ]ltT_trans.con.xml.gz2004-04-08 09:57 418  
[ ]ltp_not_refl.con.body.xml.gz2004-04-08 09:57 18K 
[ ]ltp_not_refl.con.types.xml.gz2004-04-08 09:57 23K 
[ ]ltp_not_refl.con.xml.gz2004-04-08 09:57 561  
[ ]minusTerm_ltT_l.con.body.xml.gz2004-04-08 09:57 2.6K 
[ ]minusTerm_ltT_l.con.types.xml.gz2004-04-08 09:57 3.1K 
[ ]minusTerm_ltT_l.con.xml.gz2004-04-08 09:57 739  
[ ]multTerm_ltT_l.con.body.xml.gz2004-04-08 09:57 2.5K 
[ ]multTerm_ltT_l.con.types.xml.gz2004-04-08 09:57 3.2K 
[ ]multTerm_ltT_l.con.xml.gz2004-04-08 09:57 704  
[ ]multTerm_ltT_r.con.body.xml.gz2004-04-08 09:57 2.5K 
[ ]multTerm_ltT_r.con.types.xml.gz2004-04-08 09:57 3.2K 
[ ]multTerm_ltT_r.con.xml.gz2004-04-08 09:57 705  
[ ]nZterm.con.body.xml.gz2004-04-08 09:57 959  
[ ]nZterm.con.types.xml.gz2004-04-08 09:57 207  
[ ]nZterm.con.xml.gz2004-04-08 09:57 457  
[ ]not_double_canonical.con.body.xml.gz2004-04-08 09:57 1.1K 
[ ]not_double_canonical.con.types.xml.gz2004-04-08 09:57 1.2K 
[ ]not_double_canonical.con.xml.gz2004-04-08 09:57 682  
[ ]olist.con.body.xml.gz2004-04-08 09:57 540  
[ ]olist.con.types.xml.gz2004-04-08 09:57 204  
[ ]olist.con.xml.gz2004-04-08 09:57 465  
[ ]olistO.con.body.xml.gz2004-04-08 09:57 472  
[ ]olistO.con.types.xml.gz2004-04-08 09:57 554  
[ ]olistO.con.xml.gz2004-04-08 09:57 311  
[ ]olistOne.con.body.xml.gz2004-04-08 09:57 1.7K 
[ ]olistOne.con.types.xml.gz2004-04-08 09:57 3.6K 
[ ]olistOne.con.xml.gz2004-04-08 09:57 591  
[ ]olist_X.con.body.xml.gz2004-04-08 09:57 1.4K 
[ ]olist_X.con.types.xml.gz2004-04-08 09:57 1.5K 
[ ]olist_X.con.xml.gz2004-04-08 09:57 622  
[ ]olist_cons.con.body.xml.gz2004-04-08 09:57 26K 
[ ]olist_cons.con.types.xml.gz2004-04-08 09:57 46K 
[ ]olist_cons.con.xml.gz2004-04-08 09:57 743  
[ ]olist_imp_olist.con.body.xml.gz2004-04-08 09:57 2.9K 
[ ]olist_imp_olist.con.types.xml.gz2004-04-08 09:57 3.8K 
[ ]olist_imp_olist.con.xml.gz2004-04-08 09:57 723  
[ ]olist_ltT.con.body.xml.gz2004-04-08 09:57 9.1K 
[ ]olist_ltT.con.types.xml.gz2004-04-08 09:57 9.9K 
[ ]olist_ltT.con.xml.gz2004-04-08 09:57 790  
[ ]olist_pX_eqT.con.body.xml.gz2004-04-08 09:57 1.1K 
[ ]olist_pX_eqT.con.types.xml.gz2004-04-08 09:57 1.5K 
[ ]olist_pX_eqT.con.xml.gz2004-04-08 09:57 754  
[ ]olist_pX_ltP.con.body.xml.gz2004-04-08 09:57 1.4K 
[ ]olist_pX_ltP.con.types.xml.gz2004-04-08 09:57 1.8K 
[ ]olist_pX_ltP.con.xml.gz2004-04-08 09:57 667  
[ ]olist_pX_order.con.body.xml.gz2004-04-08 09:57 1.7K 
[ ]olist_pX_order.con.types.xml.gz2004-04-08 09:57 2.0K 
[ ]olist_pX_order.con.xml.gz2004-04-08 09:57 707  
[ ]pO.con.body.xml.gz2004-04-08 09:57 394  
[ ]pO.con.types.xml.gz2004-04-08 09:57 199  
[ ]pO.con.xml.gz2004-04-08 09:57 374  
[ ]pX.con.body.xml.gz2004-04-08 09:57 397  
[ ]pX.con.types.xml.gz2004-04-08 09:57 200  
[ ]pX.con.xml.gz2004-04-08 09:57 487  
[ ]poly.con.body.xml.gz2004-04-08 09:57 618  
[ ]poly.con.types.xml.gz2004-04-08 09:57 203  
[ ]poly.con.xml.gz2004-04-08 09:57 273  
[ ]sltP.con.body.xml.gz2004-04-08 09:57 1.5K 
[ ]sltP.con.types.xml.gz2004-04-08 09:57 203  
[ ]sltP.con.xml.gz2004-04-08 09:57 358  
[ ]sltp_wf.con.body.xml.gz2004-04-08 09:57 1.5K 
[ ]sltp_wf.con.types.xml.gz2004-04-08 09:57 1.7K 
[ ]sltp_wf.con.xml.gz2004-04-08 09:57 380  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80