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