Index of /xml/Nancy/FOUnify/term_unif
Name
Last modified
Size
Description
Parent Directory
-
proof_unif.con.body.xml.gz
2004-04-08 09:06
23K
under_comp.con.types.xml.gz
2004-04-08 09:06
21K
trans_SUP.con.types.xml.gz
2004-04-08 09:05
20K
trans_SUP.con.body.xml.gz
2004-04-08 09:05
19K
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.types.xml.gz
2004-04-08 09:05
18K
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.body.xml.gz
2004-04-08 09:05
18K
UnifV1.con.types.xml.gz
2004-04-08 09:06
16K
under_comp.con.body.xml.gz
2004-04-08 09:06
16K
f_n_id_minus.con.types.xml.gz
2004-04-08 09:06
14K
UnifV1.con.body.xml.gz
2004-04-08 09:06
13K
f_n_id_minus.con.body.xml.gz
2004-04-08 09:06
11K
eq_V_stab3.con.types.xml.gz
2004-04-08 09:06
11K
ident_or_not.con.types.xml.gz
2004-04-08 09:06
10K
SUB_subst.con.types.xml.gz
2004-04-08 09:05
9.9K
term_subst_comp.con.types.xml.gz
2004-04-08 09:06
9.8K
IS_IN_SUB.con.types.xml.gz
2004-04-08 09:06
9.7K
DIFFELNB_st_inclv_le_S.con.types.xml.gz
2004-04-08 09:05
9.6K
DIFFELNB_st_inclv_le_S.con.body.xml.gz
2004-04-08 09:05
9.1K
eq_V_stab3.con.body.xml.gz
2004-04-08 09:06
8.2K
IS_IN_Subst_exi_IS_IN.con.types.xml.gz
2004-04-08 09:05
8.2K
over_comp.con.types.xml.gz
2004-04-08 09:06
7.8K
SUB_subst.con.body.xml.gz
2004-04-08 09:05
7.4K
IS_IN_SUB.con.body.xml.gz
2004-04-08 09:06
7.3K
sig_elem_subst0.con.body.xml.gz
2004-04-08 09:06
7.1K
inclv_le.con.types.xml.gz
2004-04-08 09:05
6.9K
one_only_succes.con.body.xml.gz
2004-04-08 09:06
6.9K
ident_or_notS.con.body.xml.gz
2004-04-08 09:06
6.5K
INDEX
2005-07-05 08:11
6.5K
inclv_le.con.body.xml.gz
2004-04-08 09:05
6.4K
term_subst_comp.con.body.xml.gz
2004-04-08 09:06
6.3K
ident_or_not.con.body.xml.gz
2004-04-08 09:06
6.2K
min_unif_comp.con.types.xml.gz
2004-04-08 09:06
6.0K
UnifRoot.con.body.xml.gz
2004-04-08 09:06
5.8K
sig_elem_subst0.con.types.xml.gz
2004-04-08 09:06
5.8K
idempotent_Fondamental.con.types.xml.gz
2004-04-08 09:06
5.7K
one_only_succes.con.types.xml.gz
2004-04-08 09:06
5.6K
REMOVE_remove.con.body.xml.gz
2004-04-08 09:05
5.6K
IS_IN_Subst_exi_IS_IN.con.body.xml.gz
2004-04-08 09:05
5.4K
UnifRoot.con.types.xml.gz
2004-04-08 09:06
5.4K
REMOVE_remove.con.types.xml.gz
2004-04-08 09:05
5.1K
SUB_diff.con.body.xml.gz
2004-04-08 09:05
5.1K
diffelnb_DIFFELNB.con.types.xml.gz
2004-04-08 09:05
4.9K
REMOVE_Consv_n_eq_Headv.con.body.xml.gz
2004-04-08 09:05
4.8K
min_unif_comp.con.body.xml.gz
2004-04-08 09:06
4.8K
idempotent_Fondamental.con.body.xml.gz
2004-04-08 09:06
4.8K
UnifC1.con.types.xml.gz
2004-04-08 09:06
4.8K
SUB_diff.con.types.xml.gz
2004-04-08 09:05
4.7K
over_comp.con.body.xml.gz
2004-04-08 09:06
4.6K
REMOVE_Consv_n_eq_Headv.con.types.xml.gz
2004-04-08 09:05
4.4K
sym_Unification.con.body.xml.gz
2004-04-08 09:06
4.2K
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
4.1K
unif_comp.con.types.xml.gz
2004-04-08 09:06
4.0K
DIFFELNBor.con.body.xml.gz
2004-04-08 09:05
4.0K
comp_subst.con.types.xml.gz
2004-04-08 09:06
3.9K
DIFFELNB_diffelnb.con.types.xml.gz
2004-04-08 09:05
3.9K
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.types.xml.gz
2004-04-08 09:05
3.8K
sym_Unification.con.types.xml.gz
2004-04-08 09:06
3.8K
sig_REMOVE.con.body.xml.gz
2004-04-08 09:05
3.7K
n_range_IS_IN_Subst.con.types.xml.gz
2004-04-08 09:05
3.6K
unif_comp.con.body.xml.gz
2004-04-08 09:06
3.6K
diffelnb_DIFFELNB.con.body.xml.gz
2004-04-08 09:05
3.4K
Unif_DIFFELNB_O.con.types.xml.gz
2004-04-08 09:06
3.4K
DIFFELNBor.con.types.xml.gz
2004-04-08 09:05
3.3K
DIFFELNB_diffelnb.con.body.xml.gz
2004-04-08 09:05
3.3K
Unif_DIFFELNB_O.con.body.xml.gz
2004-04-08 09:06
3.3K
Decomp_fail.con.types.xml.gz
2004-04-08 09:06
3.3K
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
3.3K
UnifC1.con.body.xml.gz
2004-04-08 09:06
3.3K
SUB_sub.con.types.xml.gz
2004-04-08 09:05
3.3K
Headv_REMOVE_Consv_Nilv.con.types.xml.gz
2004-04-08 09:05
3.2K
SUB_sub.con.body.xml.gz
2004-04-08 09:05
3.2K
DIFFELNB_ConsArg_ConsArg24_le.con.body.xml.gz
2004-04-08 09:06
3.2K
DIFFELNB_ConsArg_ConsArg13_le.con.body.xml.gz
2004-04-08 09:06
3.2K
REMOVE_n_IS_IN_LV_eq.con.types.xml.gz
2004-04-08 09:05
3.2K
IS_IN_LV_IS_IN.con.types.xml.gz
2004-04-08 09:05
3.2K
ident_or_notS.con.types.xml.gz
2004-04-08 09:06
3.2K
IS_IN_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
3.2K
Headv_REMOVE_Consv_Nilv.con.body.xml.gz
2004-04-08 09:05
3.2K
sub_SUB.con.types.xml.gz
2004-04-08 09:05
3.2K
eq_V_stab.con.types.xml.gz
2004-04-08 09:05
3.1K
clos_DIFFELNBO.con.types.xml.gz
2004-04-08 09:05
3.1K
REMOVE_Consv_eq.con.body.xml.gz
2004-04-08 09:05
2.9K
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.body.xml.gz
2004-04-08 09:05
2.9K
two_succes.con.body.xml.gz
2004-04-08 09:06
2.8K
REMOVE_Consv_n_eq.con.body.xml.gz
2004-04-08 09:05
2.8K
comp_subst.con.body.xml.gz
2004-04-08 09:06
2.8K
REMOVE_IS_IN_LV_IS_IN_LV.con.types.xml.gz
2004-04-08 09:05
2.7K
eq_V_stab.con.body.xml.gz
2004-04-08 09:05
2.6K
REMOVE_Consv_eq.con.types.xml.gz
2004-04-08 09:05
2.5K
REMOVE_Consv_n_eq.con.types.xml.gz
2004-04-08 09:05
2.5K
under_IS_IN_Subst_IS_IN.con.body.xml.gz
2004-04-08 09:05
2.5K
clos_DIFFELNBO.con.body.xml.gz
2004-04-08 09:05
2.5K
n_range_IS_IN_Subst.con.body.xml.gz
2004-04-08 09:05
2.5K
sig_elem_subst.con.body.xml.gz
2004-04-08 09:06
2.4K
DIFFELNB_ConsArg_ConsArg24_le.con.types.xml.gz
2004-04-08 09:06
2.4K
DIFFELNB_ConsArg_ConsArg13_le.con.types.xml.gz
2004-04-08 09:06
2.4K
REMOVE_n_IS_IN_LV_eq.con.body.xml.gz
2004-04-08 09:05
2.4K
under_IS_IN_Subst_IS_IN.con.types.xml.gz
2004-04-08 09:05
2.3K
remove_REMOVE.con.types.xml.gz
2004-04-08 09:05
2.3K
sub_SUB.con.body.xml.gz
2004-04-08 09:05
2.2K
REMOVE_IS_IN_LV_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
2.2K
Unification_ind.con.types.xml.gz
2004-04-08 09:06
2.1K
remove_REMOVE.con.body.xml.gz
2004-04-08 09:05
2.1K
IS_IN_LV_IS_IN.con.body.xml.gz
2004-04-08 09:05
2.1K
sub_ind.con.types.xml.gz
2004-04-08 09:05
2.1K
Decomp_fail.con.body.xml.gz
2004-04-08 09:06
2.1K
range_n_dom_idempotent.con.types.xml.gz
2004-04-08 09:06
2.0K
elem_subst_conserve.con.body.xml.gz
2004-04-08 09:06
2.0K
sub_ind.con.body.xml.gz
2004-04-08 09:05
2.0K
elem_subst_conserve.con.types.xml.gz
2004-04-08 09:06
2.0K
sig_REMOVE.con.types.xml.gz
2004-04-08 09:05
1.9K
two_succes.con.types.xml.gz
2004-04-08 09:06
1.9K
diffelnb_ind.con.body.xml.gz
2004-04-08 09:05
1.9K
n_range_IS_IN_eq.con.body.xml.gz
2004-04-08 09:05
1.9K
remove_ind.con.body.xml.gz
2004-04-08 09:05
1.9K
remove_ind.con.types.xml.gz
2004-04-08 09:05
1.9K
IS_IN_IS_IN_LV.con.body.xml.gz
2004-04-08 09:05
1.8K
diffelnb_ind.con.types.xml.gz
2004-04-08 09:05
1.8K
range_n_dom_idempotent.con.body.xml.gz
2004-04-08 09:06
1.8K
n_range_IS_IN_eq.con.types.xml.gz
2004-04-08 09:05
1.8K
DIFFELNB_Consv_n_O.con.types.xml.gz
2004-04-08 09:05
1.8K
proof_unif.con.types.xml.gz
2004-04-08 09:06
1.7K
two_succes.con.xml.gz
2004-04-08 09:06
1.7K
idempotent_dom_n_IS_IN.con.body.xml.gz
2004-04-08 09:06
1.7K
Unification_rect.con.body.xml.gz
2004-04-08 09:06
1.7K
idempotent_dom_n_IS_IN.con.types.xml.gz
2004-04-08 09:06
1.6K
idempotent_n_range.con.types.xml.gz
2004-04-08 09:06
1.6K
DIFFELNB_Consv_n_O.con.body.xml.gz
2004-04-08 09:05
1.5K
dom_decP.con.types.xml.gz
2004-04-08 09:05
1.5K
Unification_rec.con.xml.gz
2004-04-08 09:06
1.5K
Unification_ind.con.xml.gz
2004-04-08 09:06
1.5K
Unification_rect.con.xml.gz
2004-04-08 09:06
1.5K
infv_st_inclv.con.types.xml.gz
2004-04-08 09:05
1.5K
idempotent_n_range.con.body.xml.gz
2004-04-08 09:06
1.5K
clossubst.con.types.xml.gz
2004-04-08 09:05
1.5K
DIFFELNB_O_clos.con.types.xml.gz
2004-04-08 09:05
1.5K
head_diff_ind.con.body.xml.gz
2004-04-08 09:06
1.5K
clossubst.con.body.xml.gz
2004-04-08 09:05
1.5K
st_inclv_infv.con.types.xml.gz
2004-04-08 09:05
1.4K
closConsArg.con.types.xml.gz
2004-04-08 09:05
1.4K
term_subst_comp.con.xml.gz
2004-04-08 09:06
1.4K
n_dom.con.types.xml.gz
2004-04-08 09:05
1.4K
DIFFELNB_O.con.types.xml.gz
2004-04-08 09:05
1.4K
DIFFELNB_O_clos.con.body.xml.gz
2004-04-08 09:05
1.4K
st_inclv_infv.con.body.xml.gz
2004-04-08 09:05
1.4K
infv_st_inclv.con.body.xml.gz
2004-04-08 09:05
1.3K
Unification.ind.xml.gz
2004-04-08 09:06
1.3K
closConsArg.con.body.xml.gz
2004-04-08 09:05
1.3K
head_diff_ind.con.types.xml.gz
2004-04-08 09:06
1.2K
REMOVE.con.body.xml.gz
2004-04-08 09:05
1.2K
sig_elem_subst.con.types.xml.gz
2004-04-08 09:06
1.2K
DIFFELNB_O.con.body.xml.gz
2004-04-08 09:05
1.2K
dom_decP.con.body.xml.gz
2004-04-08 09:05
1.2K
head_diff_ind.con.xml.gz
2004-04-08 09:06
1.2K
n_dom.con.body.xml.gz
2004-04-08 09:05
1.2K
f_n_id_minus.con.xml.gz
2004-04-08 09:06
1.1K
DIFFELNB.con.body.xml.gz
2004-04-08 09:05
1.1K
UnifConsArgfail1.con.types.xml.gz
2004-04-08 09:06
1.1K
n_range_n_IS_IN.con.types.xml.gz
2004-04-08 09:05
1.1K
UnifConsArgfail1.con.body.xml.gz
2004-04-08 09:06
1.1K
elem_subst_ind.con.types.xml.gz
2004-04-08 09:06
1.1K
sub_ind.con.xml.gz
2004-04-08 09:05
1.1K
n_infv_t_clos.con.body.xml.gz
2004-04-08 09:05
1.1K
diffelnb_ind.con.xml.gz
2004-04-08 09:05
1.1K
SUP.con.body.xml.gz
2004-04-08 09:05
1.1K
head_diff.ind.xml.gz
2004-04-08 09:06
1.0K
closConsArg1.con.types.xml.gz
2004-04-08 09:05
1.0K
closConsArg2.con.types.xml.gz
2004-04-08 09:05
1.0K
remove_ind.con.xml.gz
2004-04-08 09:05
1.0K
sub.ind.xml.gz
2004-04-08 09:05
1.0K
closConsArg2.con.body.xml.gz
2004-04-08 09:05
1.0K
closConsArg1.con.body.xml.gz
2004-04-08 09:05
1.0K
n_infv_t_clos.con.types.xml.gz
2004-04-08 09:05
1.0K
unif_proof.con.body.xml.gz
2004-04-08 09:06
1.0K
elem_subst_rect.con.body.xml.gz
2004-04-08 09:06
967
exp_comp_subst.con.types.xml.gz
2004-04-08 09:06
966
under_comp.con.xml.gz
2004-04-08 09:06
952
exi_REMOVE.con.body.xml.gz
2004-04-08 09:05
946
remove.ind.xml.gz
2004-04-08 09:05
936
closRoot.con.types.xml.gz
2004-04-08 09:05
931
diffelnb.ind.xml.gz
2004-04-08 09:05
924
n_st_inclv_l_Nilv.con.types.xml.gz
2004-04-08 09:05
918
one_only_succes.con.xml.gz
2004-04-08 09:06
893
elem_subst.ind.xml.gz
2004-04-08 09:06
875
over_comp.con.xml.gz
2004-04-08 09:06
869
st_inclv_ind.con.body.xml.gz
2004-04-08 09:05
863
list_var.con.body.xml.gz
2004-04-08 09:05
857
infv_ind.con.body.xml.gz
2004-04-08 09:05
854
exi_REMOVE.con.types.xml.gz
2004-04-08 09:05
853
elem_subst_rect.con.xml.gz
2004-04-08 09:06
853
elem_subst_rec.con.xml.gz
2004-04-08 09:06
852
closRoot.con.body.xml.gz
2004-04-08 09:05
848
trans_SUB.con.types.xml.gz
2004-04-08 09:05
847
elem_subst_ind.con.xml.gz
2004-04-08 09:06
845
DIFFELNB_ConsArg_ConsArg24_le.con.xml.gz
2004-04-08 09:06
826
DIFFELNB_ConsArg_ConsArg13_le.con.xml.gz
2004-04-08 09:06
826
n_st_inclv_l_Nilv.con.body.xml.gz
2004-04-08 09:05
823
less_subst_ind.con.body.xml.gz
2004-04-08 09:06
799
n_range_n_IS_IN.con.body.xml.gz
2004-04-08 09:05
793
min_unif_comp.con.xml.gz
2004-04-08 09:06
793
unif_comp.con.xml.gz
2004-04-08 09:06
785
st_inclv_ind.con.types.xml.gz
2004-04-08 09:05
785
sig_elem_subst0.con.xml.gz
2004-04-08 09:06
780
ident_or_notS.con.xml.gz
2004-04-08 09:06
776
infv_ind.con.types.xml.gz
2004-04-08 09:05
775
st_inclv.ind.xml.gz
2004-04-08 09:05
766
ident_or_not.con.xml.gz
2004-04-08 09:06
765
exp_comp_subst.con.body.xml.gz
2004-04-08 09:06
762
inclv_ind.con.types.xml.gz
2004-04-08 09:05
761
eq_V_stab3.con.xml.gz
2004-04-08 09:06
760
infv.ind.xml.gz
2004-04-08 09:05
758
REMOVE_Consv_n_eq_Headv.con.xml.gz
2004-04-08 09:05
755
elem_subst_conserve.con.xml.gz
2004-04-08 09:06
748
st_inclv_ind.con.xml.gz
2004-04-08 09:05
744
infv_ind.con.xml.gz
2004-04-08 09:05
733
range_ind.con.body.xml.gz
2004-04-08 09:05
732
less_subst_ind.con.types.xml.gz
2004-04-08 09:06
727
inclv_rect.con.body.xml.gz
2004-04-08 09:05
720
idempotent_Fondamental.con.xml.gz
2004-04-08 09:06
715
less_subst.ind.xml.gz
2004-04-08 09:06
711
UnifConsArgfail1.con.xml.gz
2004-04-08 09:06
702
st_inclv_Consv_REMOVE_n_IS_IN_LV_st_inclv.con.xml.gz
2004-04-08 09:05
700
IS_IN_Subst_exi_IS_IN.con.xml.gz
2004-04-08 09:05
699
V_stab.con.types.xml.gz
2004-04-08 09:05
697
less_subst_ind.con.xml.gz
2004-04-08 09:06
691
clos_ind.con.types.xml.gz
2004-04-08 09:05
690
clos_rect.con.body.xml.gz
2004-04-08 09:05
689
Headv_REMOVE_Consv_Nilv.con.xml.gz
2004-04-08 09:05
667
REMOVE_n_IS_IN_LV_DIFFELNB_pred.con.xml.gz
2004-04-08 09:05
665
REMOVE_Consv_n_eq.con.xml.gz
2004-04-08 09:05
661
range_ind.con.types.xml.gz
2004-04-08 09:05
657
REMOVE_n_eq_IS_IN_LV_IS_IN_LV.con.xml.gz
2004-04-08 09:05
649
IS_IN_SUB.con.xml.gz
2004-04-08 09:06
649
range.ind.xml.gz
2004-04-08 09:05
640
inclv.ind.xml.gz
2004-04-08 09:05
638
exp_comp_subst.con.xml.gz
2004-04-08 09:06
631
comp_subst.con.xml.gz
2004-04-08 09:06
625
DIFFELNB_st_inclv_le_S.con.xml.gz
2004-04-08 09:05
621
range_ind.con.xml.gz
2004-04-08 09:05
617
range_n_dom_idempotent.con.xml.gz
2004-04-08 09:06
615
inclv_rect.con.xml.gz
2004-04-08 09:05
614
inclv_rec.con.xml.gz
2004-04-08 09:05
613
over.con.body.xml.gz
2004-04-08 09:05
605
inclv_ind.con.xml.gz
2004-04-08 09:05
605
n_range_n_IS_IN.con.xml.gz
2004-04-08 09:05
602
n_range_IS_IN_Subst.con.xml.gz
2004-04-08 09:05
602
eq_V_stab.con.xml.gz
2004-04-08 09:05
599
clos.ind.xml.gz
2004-04-08 09:05
597
REMOVE_n_IS_IN_LV_eq.con.xml.gz
2004-04-08 09:05
595
DIFFELNB_Consv_n_O.con.xml.gz
2004-04-08 09:05
594
under.con.body.xml.gz
2004-04-08 09:05
589
n_range_IS_IN_eq.con.xml.gz
2004-04-08 09:05
588
clos_rec.con.xml.gz
2004-04-08 09:05
582
clos_rect.con.xml.gz
2004-04-08 09:05
581
clos_ind.con.xml.gz
2004-04-08 09:05
575
inclv_le.con.xml.gz
2004-04-08 09:05
573
under_IS_IN_Subst_IS_IN.con.xml.gz
2004-04-08 09:05
572
idempotent_dom_n_IS_IN.con.xml.gz
2004-04-08 09:06
570
proof_unif.con.xml.gz
2004-04-08 09:06
566
trans_SUB.con.body.xml.gz
2004-04-08 09:05
562
REMOVE_IS_IN_LV_IS_IN_LV.con.xml.gz
2004-04-08 09:05
560
Unif_DIFFELNB_O.con.xml.gz
2004-04-08 09:06
558
REMOVE_Consv_eq.con.xml.gz
2004-04-08 09:05
551
n_dom.con.xml.gz
2004-04-08 09:05
547
UnifRoot.con.xml.gz
2004-04-08 09:06
547
Unification_ind.con.body.xml.gz
2004-04-08 09:06
546
min_unif.con.body.xml.gz
2004-04-08 09:06
545
idempotent_n_range.con.xml.gz
2004-04-08 09:06
545
idempotent.con.body.xml.gz
2004-04-08 09:06
541
Unification_rec.con.body.xml.gz
2004-04-08 09:06
539
sig_elem_subst.con.xml.gz
2004-04-08 09:06
528
V_stab.con.body.xml.gz
2004-04-08 09:05
528
SUB_subst.con.xml.gz
2004-04-08 09:05
526
exi_REMOVE.con.xml.gz
2004-04-08 09:05
517
elem_subst_ind.con.body.xml.gz
2004-04-08 09:06
517
sig_REMOVE.con.xml.gz
2004-04-08 09:05
515
IS_IN_LV_IS_IN.con.xml.gz
2004-04-08 09:05
513
remove_REMOVE.con.xml.gz
2004-04-08 09:05
512
elem_subst_rec.con.body.xml.gz
2004-04-08 09:06
510
closConsArg.con.xml.gz
2004-04-08 09:05
510
IS_IN_IS_IN_LV.con.xml.gz
2004-04-08 09:05
510
dom.con.body.xml.gz
2004-04-08 09:05
507
dom_decP.con.xml.gz
2004-04-08 09:05
504
REMOVE_remove.con.xml.gz
2004-04-08 09:05
503
clossubst.con.xml.gz
2004-04-08 09:05
500
DIFFELNB_O_clos.con.xml.gz
2004-04-08 09:05
499
unif.con.body.xml.gz
2004-04-08 09:06
497
st_inclv_infv.con.xml.gz
2004-04-08 09:05
495
infv_st_inclv.con.xml.gz
2004-04-08 09:05
495
clos_DIFFELNBO.con.xml.gz
2004-04-08 09:05
493
trans_SUP.con.xml.gz
2004-04-08 09:05
491
UnifV2.con.body.xml.gz
2004-04-08 09:06
491
SUB_diff.con.xml.gz
2004-04-08 09:05
491
trans_SUB.con.xml.gz
2004-04-08 09:05
488
UnifC2.con.body.xml.gz
2004-04-08 09:06
488
n_infv_t_clos.con.xml.gz
2004-04-08 09:05
486
DIFFELNBor.con.xml.gz
2004-04-08 09:05
486
DIFFELNB_O.con.xml.gz
2004-04-08 09:05
483
DIFFELNB_diffelnb.con.xml.gz
2004-04-08 09:05
478
closRoot.con.xml.gz
2004-04-08 09:05
477
diffelnb_DIFFELNB.con.xml.gz
2004-04-08 09:05
476
closConsArg2.con.xml.gz
2004-04-08 09:05
469
closConsArg1.con.xml.gz
2004-04-08 09:05
468
V_stab.con.xml.gz
2004-04-08 09:05
456
inclv_ind.con.body.xml.gz
2004-04-08 09:05
454
n_st_inclv_l_Nilv.con.xml.gz
2004-04-08 09:05
450
Decomp_fail.con.xml.gz
2004-04-08 09:06
448
SUB_sub.con.xml.gz
2004-04-08 09:05
447
inclv_rec.con.body.xml.gz
2004-04-08 09:05
446
UnifC2.con.xml.gz
2004-04-08 09:06
445
UnifV2.con.xml.gz
2004-04-08 09:06
444
UnifV1.con.xml.gz
2004-04-08 09:06
444
UnifC1.con.xml.gz
2004-04-08 09:06
444
sub_SUB.con.xml.gz
2004-04-08 09:05
442
sym_Unification.con.xml.gz
2004-04-08 09:06
439
clos_ind.con.body.xml.gz
2004-04-08 09:05
427
clos_rec.con.body.xml.gz
2004-04-08 09:05
417
SUB.con.body.xml.gz
2004-04-08 09:05
403
unif_proof.con.xml.gz
2004-04-08 09:06
399
min_unif.con.xml.gz
2004-04-08 09:06
360
REMOVE.con.xml.gz
2004-04-08 09:05
357
unif.con.xml.gz
2004-04-08 09:06
353
under.con.xml.gz
2004-04-08 09:05
345
over.con.xml.gz
2004-04-08 09:05
343
DIFFELNB.con.xml.gz
2004-04-08 09:05
337
dom.con.xml.gz
2004-04-08 09:05
329
SUB.con.xml.gz
2004-04-08 09:05
316
idempotent.con.xml.gz
2004-04-08 09:06
314
SUP.con.xml.gz
2004-04-08 09:05
314
list_var.con.xml.gz
2004-04-08 09:05
309
elem_subst_rect.con.types.xml.gz
2004-04-08 09:06
215
Unification_rect.con.types.xml.gz
2004-04-08 09:06
215
Unification_rec.con.types.xml.gz
2004-04-08 09:06
214
elem_subst_rec.con.types.xml.gz
2004-04-08 09:06
213
unif_proof.con.types.xml.gz
2004-04-08 09:06
206
Unification.ind.types.xml.gz
2004-04-08 09:06
206
less_subst.ind.types.xml.gz
2004-04-08 09:06
205
inclv_rect.con.types.xml.gz
2004-04-08 09:05
205
idempotent.con.types.xml.gz
2004-04-08 09:06
205
elem_subst.ind.types.xml.gz
2004-04-08 09:06
205
inclv_rec.con.types.xml.gz
2004-04-08 09:05
204
clos_rect.con.types.xml.gz
2004-04-08 09:05
204
DIFFELNB.con.types.xml.gz
2004-04-08 09:05
204
list_var.con.types.xml.gz
2004-04-08 09:05
203
head_diff.ind.types.xml.gz
2004-04-08 09:06
203
clos_rec.con.types.xml.gz
2004-04-08 09:05
203
min_unif.con.types.xml.gz
2004-04-08 09:06
202
diffelnb.ind.types.xml.gz
2004-04-08 09:05
202
st_inclv.ind.types.xml.gz
2004-04-08 09:05
201
REMOVE.con.types.xml.gz
2004-04-08 09:05
200
UnifV2.con.types.xml.gz
2004-04-08 09:06
199
remove.ind.types.xml.gz
2004-04-08 09:05
198
UnifC2.con.types.xml.gz
2004-04-08 09:06
198
under.con.types.xml.gz
2004-04-08 09:05
197
range.ind.types.xml.gz
2004-04-08 09:05
197
over.con.types.xml.gz
2004-04-08 09:05
197
unif.con.types.xml.gz
2004-04-08 09:06
196
inclv.ind.types.xml.gz
2004-04-08 09:05
196
infv.ind.types.xml.gz
2004-04-08 09:05
195
clos.ind.types.xml.gz
2004-04-08 09:05
195
SUB.con.types.xml.gz
2004-04-08 09:05
195
dom.con.types.xml.gz
2004-04-08 09:05
194
SUP.con.types.xml.gz
2004-04-08 09:05
194
sub.ind.types.xml.gz
2004-04-08 09:05
193
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80