Index of /xml/CoRN/algebra/CSetoidFun

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