Index of /xml/CoRN/algebra/CSetoidFun
Name
Last modified
Size
Description
Parent Directory
-
app_strext.con.types.xml.gz
2004-11-09 10:20
25K
Inv_bij.con.types.xml.gz
2004-11-09 10:20
23K
comp_as_bin_op.con.types.xml.gz
2004-11-09 10:20
22K
ap_fm_cotransitive.con.types.xml.gz
2004-11-09 10:20
18K
ap_fm_tight.con.types.xml.gz
2004-11-09 10:20
16K
Inv_bij.con.body.xml.gz
2004-11-09 10:20
15K
app_strext.con.body.xml.gz
2004-11-09 10:20
15K
ap_fm_tight.con.body.xml.gz
2004-11-09 10:20
10K
comp_as_bin_op.con.body.xml.gz
2004-11-09 10:20
9.4K
ap_fm_cotransitive.con.body.xml.gz
2004-11-09 10:20
8.6K
bin_part_function_comp_strext.con.types.xml.gz
2004-11-09 10:20
7.1K
part_function_comp_strext.con.types.xml.gz
2004-11-09 10:20
6.7K
ap_fm_symmetric.con.types.xml.gz
2004-11-09 10:20
6.3K
inv_strext.con.body.xml.gz
2004-11-09 10:20
6.0K
compose_CSetoid_un_bin_fun.con.types.xml.gz
2004-11-09 10:20
5.6K
inv_strext.con.types.xml.gz
2004-11-09 10:20
5.5K
cotrans_apfun.con.types.xml.gz
2004-11-09 10:20
5.1K
INDEX
2005-07-05 08:11
4.6K
cotrans_apfun.con.body.xml.gz
2004-11-09 10:20
4.5K
comp_resp_bij.con.body.xml.gz
2004-11-09 10:20
4.4K
comp_resp_bij.con.types.xml.gz
2004-11-09 10:20
4.2K
ta_apfun.con.types.xml.gz
2004-11-09 10:20
4.1K
inv1.con.types.xml.gz
2004-11-09 10:20
3.8K
assoc_comp.con.types.xml.gz
2004-11-09 10:20
3.6K
compose_CSetoid_bin_un_fun.con.types.xml.gz
2004-11-09 10:20
3.6K
ap_fm_symmetric.con.body.xml.gz
2004-11-09 10:20
3.6K
inv2.con.types.xml.gz
2004-11-09 10:20
3.4K
compose_CSetoid_un_bin_fun.con.body.xml.gz
2004-11-09 10:20
3.4K
ta_apfun.con.body.xml.gz
2004-11-09 10:20
3.4K
compose_CSetoid_bin_un_fun.con.body.xml.gz
2004-11-09 10:20
2.9K
bpfstrx.con.types.xml.gz
2004-11-09 10:20
2.8K
proj_bin_fun.con.types.xml.gz
2004-11-09 10:20
2.7K
pfstrx.con.types.xml.gz
2004-11-09 10:20
2.6K
bin_part_function_comp_strext.con.body.xml.gz
2004-11-09 10:20
2.4K
inv2.con.body.xml.gz
2004-11-09 10:20
2.4K
part_function_comp_strext.con.body.xml.gz
2004-11-09 10:20
2.3K
compose_CSetoid_bin_fun.con.body.xml.gz
2004-11-09 10:20
2.2K
injective_imp_injective_weak.con.types.xml.gz
2004-11-09 10:20
2.1K
bin_part_function_comp_dom_wd.con.types.xml.gz
2004-11-09 10:20
2.1K
ap_fm_irreflexive.con.types.xml.gz
2004-11-09 10:20
2.0K
ap_fm_irreflexive.con.body.xml.gz
2004-11-09 10:20
1.9K
proj_bin_fun.con.body.xml.gz
2004-11-09 10:20
1.9K
sym_apfun.con.body.xml.gz
2004-11-09 10:20
1.9K
part_function_comp_dom_wd.con.types.xml.gz
2004-11-09 10:20
1.9K
inv.con.body.xml.gz
2004-11-09 10:20
1.8K
bin_part_function_comp_dom_wd.con.body.xml.gz
2004-11-09 10:20
1.8K
inv1.con.body.xml.gz
2004-11-09 10:20
1.8K
BinPartFunct_ind.con.types.xml.gz
2004-11-09 10:20
1.8K
disj_wd.con.types.xml.gz
2004-11-09 10:20
1.8K
compose_CSetoid_bin_fun.con.types.xml.gz
2004-11-09 10:20
1.8K
part_function_comp_dom_wd.con.body.xml.gz
2004-11-09 10:20
1.7K
extension_wd.con.types.xml.gz
2004-11-09 10:20
1.7K
irrefl_apfun.con.types.xml.gz
2004-11-09 10:20
1.7K
PartFunct_ind.con.types.xml.gz
2004-11-09 10:20
1.6K
extension_wd.con.body.xml.gz
2004-11-09 10:20
1.6K
conj_wd.con.types.xml.gz
2004-11-09 10:20
1.6K
injective_imp_injective_weak.con.body.xml.gz
2004-11-09 10:20
1.6K
irrefl_apfun.con.body.xml.gz
2004-11-09 10:20
1.5K
bpfstrx.con.body.xml.gz
2004-11-09 10:20
1.5K
bdom_wd.con.types.xml.gz
2004-11-09 10:20
1.4K
bin_part_function_comp_strext.con.xml.gz
2004-11-09 10:20
1.4K
pfstrx.con.body.xml.gz
2004-11-09 10:20
1.4K
dom_wd.con.types.xml.gz
2004-11-09 10:20
1.4K
sym_apfun.con.types.xml.gz
2004-11-09 10:20
1.4K
eq_fm.con.body.xml.gz
2004-11-09 10:20
1.4K
ap_fm.con.body.xml.gz
2004-11-09 10:20
1.3K
BinPartFunct_rect.con.body.xml.gz
2004-11-09 10:20
1.3K
part_function_comp_strext.con.xml.gz
2004-11-09 10:20
1.3K
id_is_bij.con.types.xml.gz
2004-11-09 10:20
1.3K
bpfwdef.con.types.xml.gz
2004-11-09 10:20
1.3K
PartFunct_rect.con.body.xml.gz
2004-11-09 10:20
1.3K
BinFcomp.con.types.xml.gz
2004-11-09 10:20
1.3K
disj_wd.con.body.xml.gz
2004-11-09 10:20
1.3K
Fcomp.con.types.xml.gz
2004-11-09 10:20
1.3K
bpfpfun.con.body.xml.gz
2004-11-09 10:20
1.2K
ext2_a.con.body.xml.gz
2004-11-09 10:20
1.2K
bpfwdef.con.body.xml.gz
2004-11-09 10:20
1.2K
bdom_wd.con.body.xml.gz
2004-11-09 10:20
1.2K
BinPartFunct_rect.con.xml.gz
2004-11-09 10:20
1.2K
BinPartFunct_ind.con.xml.gz
2004-11-09 10:20
1.2K
pfwdef.con.types.xml.gz
2004-11-09 10:20
1.2K
pfpfun.con.body.xml.gz
2004-11-09 10:20
1.2K
BinPartFunct_rec.con.xml.gz
2004-11-09 10:20
1.2K
conj_wd.con.body.xml.gz
2004-11-09 10:20
1.2K
invfun.con.body.xml.gz
2004-11-09 10:20
1.2K
dom_wd.con.body.xml.gz
2004-11-09 10:20
1.2K
bpfdom.con.body.xml.gz
2004-11-09 10:20
1.2K
PartFunct_ind.con.xml.gz
2004-11-09 10:20
1.1K
PartFunct_rect.con.xml.gz
2004-11-09 10:20
1.1K
pfwdef.con.body.xml.gz
2004-11-09 10:20
1.1K
PartFunct_rec.con.xml.gz
2004-11-09 10:20
1.1K
pfdom.con.body.xml.gz
2004-11-09 10:20
1.1K
compose_CSetoid_fun.con.body.xml.gz
2004-11-09 10:20
1.1K
eq_fm_reflexive.con.types.xml.gz
2004-11-09 10:20
1.1K
total_eq_part.con.body.xml.gz
2004-11-09 10:20
1.1K
compose_CSetoid_fun.con.types.xml.gz
2004-11-09 10:20
1.1K
opOnFun.con.body.xml.gz
2004-11-09 10:20
1.1K
opOnFun.con.types.xml.gz
2004-11-09 10:20
1.1K
id_is_bij.con.body.xml.gz
2004-11-09 10:20
1.0K
BinPartFunct.ind.xml.gz
2004-11-09 10:20
1.0K
assoc_comp.con.body.xml.gz
2004-11-09 10:20
1.0K
BinFcomp.con.body.xml.gz
2004-11-09 10:20
1.0K
PartFunct.ind.xml.gz
2004-11-09 10:20
1.0K
ext2.con.types.xml.gz
2004-11-09 10:20
1.0K
binproj1_strext.con.types.xml.gz
2004-11-09 10:20
1.0K
total_eq_part.con.types.xml.gz
2004-11-09 10:20
1.0K
ext1.con.body.xml.gz
2004-11-09 10:20
1.0K
Fcomp.con.body.xml.gz
2004-11-09 10:20
972
eq_fm_reflexive.con.body.xml.gz
2004-11-09 10:20
932
ext1.con.types.xml.gz
2004-11-09 10:20
919
prj2.con.body.xml.gz
2004-11-09 10:20
826
prj1.con.body.xml.gz
2004-11-09 10:20
826
inv.con.xml.gz
2004-11-09 10:20
820
surjective.con.body.xml.gz
2004-11-09 10:20
803
ap_fun.con.body.xml.gz
2004-11-09 10:20
803
FS_is_CSetoid.con.types.xml.gz
2004-11-09 10:20
781
prj2.con.types.xml.gz
2004-11-09 10:20
773
prj1.con.types.xml.gz
2004-11-09 10:20
770
bpfwdef.con.xml.gz
2004-11-09 10:20
763
bpfstrx.con.xml.gz
2004-11-09 10:20
763
injective_weak.con.body.xml.gz
2004-11-09 10:20
755
comp_resp_bij.con.xml.gz
2004-11-09 10:20
746
projected_bin_fun.con.body.xml.gz
2004-11-09 10:20
742
injective.con.body.xml.gz
2004-11-09 10:20
742
extension_wd.con.xml.gz
2004-11-09 10:20
730
n_ary_operation.con.body.xml.gz
2004-11-09 10:20
727
inv1.con.xml.gz
2004-11-09 10:20
704
inv2.con.xml.gz
2004-11-09 10:20
703
binproj1_strext.con.body.xml.gz
2004-11-09 10:20
699
eq_fun.con.body.xml.gz
2004-11-09 10:20
698
pfstrx.con.xml.gz
2004-11-09 10:20
697
pfwdef.con.xml.gz
2004-11-09 10:20
695
comp.con.body.xml.gz
2004-11-09 10:20
683
Inv.con.body.xml.gz
2004-11-09 10:20
681
ext2.con.body.xml.gz
2004-11-09 10:20
671
proj_bin_fun.con.xml.gz
2004-11-09 10:20
659
FS_is_CSetoid.con.body.xml.gz
2004-11-09 10:20
645
ext2_a.con.xml.gz
2004-11-09 10:20
639
inv_strext.con.xml.gz
2004-11-09 10:20
623
ext2.con.xml.gz
2004-11-09 10:20
623
assoc_comp.con.xml.gz
2004-11-09 10:20
615
Inv_bij.con.xml.gz
2004-11-09 10:20
593
FS_as_CSetoid.con.body.xml.gz
2004-11-09 10:20
569
injective_imp_injective_weak.con.xml.gz
2004-11-09 10:20
567
inj2.con.types.xml.gz
2004-11-09 10:20
564
ext2_a.con.types.xml.gz
2004-11-09 10:20
564
inj1.con.types.xml.gz
2004-11-09 10:20
561
bijective.con.body.xml.gz
2004-11-09 10:20
553
ta_apfun.con.xml.gz
2004-11-09 10:20
552
compose_CSetoid_bin_fun.con.xml.gz
2004-11-09 10:20
552
invfun.con.xml.gz
2004-11-09 10:20
546
extend.con.body.xml.gz
2004-11-09 10:20
546
bdom_wd.con.xml.gz
2004-11-09 10:20
542
projected_bin_fun.con.xml.gz
2004-11-09 10:20
541
compose_CSetoid_bin_un_fun.con.xml.gz
2004-11-09 10:20
538
sym_apfun.con.xml.gz
2004-11-09 10:20
536
cotrans_apfun.con.xml.gz
2004-11-09 10:20
533
irrefl_apfun.con.xml.gz
2004-11-09 10:20
532
compose_CSetoid_un_bin_fun.con.xml.gz
2004-11-09 10:20
531
inj1.con.body.xml.gz
2004-11-09 10:20
529
inj2.con.body.xml.gz
2004-11-09 10:20
528
BinPartFunct_ind.con.body.xml.gz
2004-11-09 10:20
527
BinPartFunct_rec.con.body.xml.gz
2004-11-09 10:20
525
Inv.con.xml.gz
2004-11-09 10:20
521
bpfpfun.con.xml.gz
2004-11-09 10:20
517
FS_is_CSetoid.con.xml.gz
2004-11-09 10:20
516
projected_bin_fun.con.types.xml.gz
2004-11-09 10:20
511
dom_wd.con.xml.gz
2004-11-09 10:20
509
comp.con.xml.gz
2004-11-09 10:20
496
PartFunct_ind.con.body.xml.gz
2004-11-09 10:20
484
PartFunct_rec.con.body.xml.gz
2004-11-09 10:20
482
pfpfun.con.xml.gz
2004-11-09 10:20
478
conj_wd.con.xml.gz
2004-11-09 10:20
475
conjP.con.body.xml.gz
2004-11-09 10:20
469
disj_wd.con.xml.gz
2004-11-09 10:20
468
disj.con.body.xml.gz
2004-11-09 10:20
466
ap_fun.con.xml.gz
2004-11-09 10:20
464
eq_fun.con.xml.gz
2004-11-09 10:20
452
Inv.con.types.xml.gz
2004-11-09 10:20
452
id_is_bij.con.xml.gz
2004-11-09 10:20
447
appA.con.xml.gz
2004-11-09 10:20
445
bpfdom.con.xml.gz
2004-11-09 10:20
442
bijective.con.xml.gz
2004-11-09 10:20
437
surjective.con.xml.gz
2004-11-09 10:20
436
injective.con.xml.gz
2004-11-09 10:20
436
comp_as_bin_op.con.xml.gz
2004-11-09 10:20
436
injective_weak.con.xml.gz
2004-11-09 10:20
435
inj1.con.xml.gz
2004-11-09 10:20
435
prj1.con.xml.gz
2004-11-09 10:20
434
inj2.con.xml.gz
2004-11-09 10:20
432
prj2.con.xml.gz
2004-11-09 10:20
431
ext1.con.xml.gz
2004-11-09 10:20
430
app_as_csb_fun.con.body.xml.gz
2004-11-09 10:20
429
total_eq_part.con.xml.gz
2004-11-09 10:20
417
free_csetoid_is_CSetoid.con.body.xml.gz
2004-11-09 10:20
417
bin_part_function_comp_dom_wd.con.xml.gz
2004-11-09 10:20
417
is_nullary_operation.con.body.xml.gz
2004-11-09 10:20
415
pfdom.con.xml.gz
2004-11-09 10:20
410
part_function_comp_dom_wd.con.xml.gz
2004-11-09 10:20
402
Fconst.con.body.xml.gz
2004-11-09 10:20
399
is_nullary_operation.con.xml.gz
2004-11-09 10:20
396
binproj1.con.body.xml.gz
2004-11-09 10:20
394
empty_word.con.body.xml.gz
2004-11-09 10:20
378
eq_fm_reflexive.con.xml.gz
2004-11-09 10:20
376
cs_binproj1.con.body.xml.gz
2004-11-09 10:20
374
compose_CSetoid_fun.con.xml.gz
2004-11-09 10:20
373
binproj1_strext.con.xml.gz
2004-11-09 10:20
372
app_strext.con.xml.gz
2004-11-09 10:20
371
free_csetoid_as_csetoid.con.body.xml.gz
2004-11-09 10:20
369
ap_fm_tight.con.xml.gz
2004-11-09 10:20
369
app_as_csb_fun.con.xml.gz
2004-11-09 10:20
368
extend.con.xml.gz
2004-11-09 10:20
362
conjP.con.xml.gz
2004-11-09 10:20
362
ap_fm_cotransitive.con.xml.gz
2004-11-09 10:20
362
ap_fm_irreflexive.con.xml.gz
2004-11-09 10:20
361
empty_word.con.xml.gz
2004-11-09 10:20
360
binproj1.con.xml.gz
2004-11-09 10:20
360
disj.con.xml.gz
2004-11-09 10:20
359
opOnFun.con.xml.gz
2004-11-09 10:20
358
Astar.con.body.xml.gz
2004-11-09 10:20
358
ap_fm_symmetric.con.xml.gz
2004-11-09 10:20
351
Fid.con.body.xml.gz
2004-11-09 10:20
348
free_csetoid_is_CSetoid.con.xml.gz
2004-11-09 10:20
345
appA.con.body.xml.gz
2004-11-09 10:20
344
BinFcomp.con.xml.gz
2004-11-09 10:20
342
Fcomp.con.xml.gz
2004-11-09 10:20
328
n_ary_operation.con.xml.gz
2004-11-09 10:20
327
eq_fm.con.xml.gz
2004-11-09 10:20
316
cs_binproj1.con.xml.gz
2004-11-09 10:20
314
ap_fm.con.xml.gz
2004-11-09 10:20
314
Fconst.con.xml.gz
2004-11-09 10:20
306
FS_as_CSetoid.con.xml.gz
2004-11-09 10:20
301
Fid.con.xml.gz
2004-11-09 10:20
287
free_csetoid_as_csetoid.con.xml.gz
2004-11-09 10:20
275
Astar.con.xml.gz
2004-11-09 10:20
233
is_nullary_operation.con.types.xml.gz
2004-11-09 10:20
225
free_csetoid_is_CSetoid.con.types.xml.gz
2004-11-09 10:20
225
free_csetoid_as_csetoid.con.types.xml.gz
2004-11-09 10:20
224
BinPartFunct_rect.con.types.xml.gz
2004-11-09 10:20
219
BinPartFunct_rec.con.types.xml.gz
2004-11-09 10:20
217
n_ary_operation.con.types.xml.gz
2004-11-09 10:20
215
app_as_csb_fun.con.types.xml.gz
2004-11-09 10:20
214
injective_weak.con.types.xml.gz
2004-11-09 10:20
213
PartFunct_rect.con.types.xml.gz
2004-11-09 10:20
213
PartFunct_rec.con.types.xml.gz
2004-11-09 10:20
212
FS_as_CSetoid.con.types.xml.gz
2004-11-09 10:20
209
BinPartFunct.ind.types.xml.gz
2004-11-09 10:20
209
cs_binproj1.con.types.xml.gz
2004-11-09 10:20
208
empty_word.con.types.xml.gz
2004-11-09 10:20
206
surjective.con.types.xml.gz
2004-11-09 10:20
205
injective.con.types.xml.gz
2004-11-09 10:20
203
bijective.con.types.xml.gz
2004-11-09 10:20
203
PartFunct.ind.types.xml.gz
2004-11-09 10:20
203
binproj1.con.types.xml.gz
2004-11-09 10:20
202
eq_fun.con.types.xml.gz
2004-11-09 10:20
200
bpfpfun.con.types.xml.gz
2004-11-09 10:20
200
ap_fun.con.types.xml.gz
2004-11-09 10:20
200
pfpfun.con.types.xml.gz
2004-11-09 10:20
199
bpfdom.con.types.xml.gz
2004-11-09 10:20
199
Fconst.con.types.xml.gz
2004-11-09 10:20
199
invfun.con.types.xml.gz
2004-11-09 10:20
198
extend.con.types.xml.gz
2004-11-09 10:20
198
eq_fm.con.types.xml.gz
2004-11-09 10:20
198
conjP.con.types.xml.gz
2004-11-09 10:20
198
ap_fm.con.types.xml.gz
2004-11-09 10:20
198
pfdom.con.types.xml.gz
2004-11-09 10:20
197
Astar.con.types.xml.gz
2004-11-09 10:20
197
appA.con.types.xml.gz
2004-11-09 10:20
196
disj.con.types.xml.gz
2004-11-09 10:20
195
comp.con.types.xml.gz
2004-11-09 10:20
195
inv.con.types.xml.gz
2004-11-09 10:20
193
Fid.con.types.xml.gz
2004-11-09 10:20
193
unary_function_composition/
2005-07-05 08:13
-
p66E2b4/
2005-07-05 08:13
-
SubSets_of_G/
2005-07-05 08:13
-
CombiningOperations/
2005-07-05 08:13
-
CSetoid_Ops/
2005-07-05 08:13
-
BinProj/
2005-07-05 08:13
-
BinPart_Function_Composition/
2005-07-05 08:13
-
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80