Index of /xml/Lyon/GRAPHS-BASICS/Sets

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]U_SETS/2005-07-05 08:13 -  
[ ]Full.ind.types.xml.gz2004-04-08 18:36 195  
[ ]Empty.ind.types.xml.gz2004-04-08 18:36 197  
[ ]Inter.ind.types.xml.gz2004-04-08 18:36 197  
[ ]Union.ind.types.xml.gz2004-04-08 18:36 198  
[ ]Differ.ind.types.xml.gz2004-04-08 18:36 199  
[ ]Single.ind.types.xml.gz2004-04-08 18:36 199  
[ ]U_set.con.types.xml.gz2004-04-08 18:36 200  
[ ]Included.con.types.xml.gz2004-04-08 18:36 202  
[ ]U_set_eq.con.types.xml.gz2004-04-08 18:36 205  
[ ]Empty_rec.con.types.xml.gz2004-04-08 18:36 206  
[ ]Empty_rect.con.types.xml.gz2004-04-08 18:36 207  
[ ]Single_rec.con.types.xml.gz2004-04-08 18:36 208  
[ ]Single_rect.con.types.xml.gz2004-04-08 18:36 210  
[ ]U_set.con.xml.gz2004-04-08 18:36 235  
[ ]U_set.con.body.xml.gz2004-04-08 18:36 308  
[ ]Included.con.xml.gz2004-04-08 18:36 319  
[ ]Empty.ind.xml.gz2004-04-08 18:36 347  
[ ]Empty_rec.con.body.xml.gz2004-04-08 18:36 413  
[ ]Empty_ind.con.body.xml.gz2004-04-08 18:36 417  
[ ]Empty_nothing.con.xml.gz2004-04-08 18:36 421  
[ ]Included_inter.con.xml.gz2004-04-08 18:36 438  
[ ]Inter_neutral.con.xml.gz2004-04-08 18:36 439  
[ ]Differ_empty.con.xml.gz2004-04-08 18:36 441  
[ ]Inter_empty.con.xml.gz2004-04-08 18:36 441  
[ ]Differ_E_E.con.xml.gz2004-04-08 18:36 442  
[ ]Included_union.con.xml.gz2004-04-08 18:36 442  
[ ]Union_neutral.con.xml.gz2004-04-08 18:36 444  
[ ]Single_rec.con.body.xml.gz2004-04-08 18:36 447  
[ ]Empty_rec.con.xml.gz2004-04-08 18:36 453  
[ ]Empty_rect.con.xml.gz2004-04-08 18:36 454  
[ ]Single_ind.con.body.xml.gz2004-04-08 18:36 454  
[ ]Empty_ind.con.xml.gz2004-04-08 18:36 455  
[ ]Full.ind.xml.gz2004-04-08 18:36 458  
[ ]Single_equal.con.xml.gz2004-04-08 18:36 462  
[ ]Included.con.body.xml.gz2004-04-08 18:36 467  
[ ]U_set_eq_commut.con.xml.gz2004-04-08 18:36 472  
[ ]Union_commut.con.xml.gz2004-04-08 18:36 476  
[ ]Single.ind.xml.gz2004-04-08 18:36 477  
[ ]Inter_commut.con.xml.gz2004-04-08 18:36 479  
[ ]Included_single.con.xml.gz2004-04-08 18:36 482  
[ ]Inter_absorb.con.xml.gz2004-04-08 18:36 505  
[ ]Union_absorb.con.xml.gz2004-04-08 18:36 507  
[ ]Single_rect.con.xml.gz2004-04-08 18:36 510  
[ ]U_eq_set.con.xml.gz2004-04-08 18:36 511  
[ ]U_set_diff_commut.con.xml.gz2004-04-08 18:36 511  
[ ]Single_rec.con.xml.gz2004-04-08 18:36 513  
[ ]Full_ind.con.xml.gz2004-04-08 18:36 514  
[ ]Single_ind.con.xml.gz2004-04-08 18:36 514  
[ ]Empty_nothing.con.body.xml.gz2004-04-08 18:36 515  
[ ]Not_inter.con.xml.gz2004-04-08 18:36 515  
[ ]Single_equal_single.con.xml.gz2004-04-08 18:36 524  
[ ]Included_union.con.body.xml.gz2004-04-08 18:36 527  
[ ]U_set_eq.con.xml.gz2004-04-08 18:36 534  
[ ]U_set_eq_commut.con.types.xml.gz2004-04-08 18:36 535  
[ ]Union_assoc.con.xml.gz2004-04-08 18:36 535  
[ ]Inter_assoc.con.xml.gz2004-04-08 18:36 539  
[ ]Not_union.con.xml.gz2004-04-08 18:36 543  
[ ]Empty_ind.con.types.xml.gz2004-04-08 18:36 547  
[ ]Single_disjoint.con.xml.gz2004-04-08 18:36 549  
[ ]U_eq_set.con.types.xml.gz2004-04-08 18:36 555  
[ ]Empty_nothing.con.types.xml.gz2004-04-08 18:36 569  
[ ]Full_ind.con.types.xml.gz2004-04-08 18:36 576  
[ ]U_set_eq_commut.con.body.xml.gz2004-04-08 18:36 576  
[ ]Inter_eq.con.xml.gz2004-04-08 18:36 578  
[ ]Union_eq.con.xml.gz2004-04-08 18:36 578  
[ ]Single_single_disjoint.con.xml.gz2004-04-08 18:36 580  
[ ]Distributivity_inter_union.con.xml.gz2004-04-08 18:36 586  
[ ]Distributivity_union_inter.con.xml.gz2004-04-08 18:36 589  
[ ]Empty_rect.con.body.xml.gz2004-04-08 18:36 589  
[ ]Inter.ind.xml.gz2004-04-08 18:36 600  
[ ]Single_ind.con.types.xml.gz2004-04-08 18:36 618  
[ ]U_set_diff.con.xml.gz2004-04-08 18:36 626  
[ ]U_set_diff_commut.con.body.xml.gz2004-04-08 18:36 632  
[ ]Inter_ind.con.xml.gz2004-04-08 18:36 636  
[ ]U_eq_set.con.body.xml.gz2004-04-08 18:36 637  
[ ]Differ.ind.xml.gz2004-04-08 18:36 641  
[ ]Union_inversion.con.xml.gz2004-04-08 18:36 648  
[ ]Union_differ_inter.con.xml.gz2004-04-08 18:36 667  
[ ]Single_rect.con.body.xml.gz2004-04-08 18:36 670  
[ ]Union_ind.con.xml.gz2004-04-08 18:36 670  
[ ]Full_ind.con.body.xml.gz2004-04-08 18:36 673  
[ ]Union.ind.xml.gz2004-04-08 18:36 674  
[ ]Differ_ind.con.xml.gz2004-04-08 18:36 680  
[ ]Included_union.con.types.xml.gz2004-04-08 18:36 680  
[ ]Union_dec.con.xml.gz2004-04-08 18:36 689  
[ ]Inter_ind.con.types.xml.gz2004-04-08 18:36 692  
[ ]Union_single_single.con.xml.gz2004-04-08 18:36 708  
[ ]Union_ind.con.types.xml.gz2004-04-08 18:36 717  
[ ]Differ_ind.con.types.xml.gz2004-04-08 18:36 728  
[ ]Union_inversion2.con.xml.gz2004-04-08 18:36 754  
[ ]Union_eq.con.types.xml.gz2004-04-08 18:36 769  
[ ]Inter_eq.con.types.xml.gz2004-04-08 18:36 771  
[ ]Union_dec.con.types.xml.gz2004-04-08 18:36 787  
[ ]Inter_ind.con.body.xml.gz2004-04-08 18:36 793  
[ ]U_set_diff_commut.con.types.xml.gz2004-04-08 18:36 802  
[ ]Differ_ind.con.body.xml.gz2004-04-08 18:36 841  
[ ]Union_ind.con.body.xml.gz2004-04-08 18:36 857  
[ ]Single_equal_single.con.body.xml.gz2004-04-08 18:36 920  
[ ]Union_eq.con.body.xml.gz2004-04-08 18:36 942  
[ ]Inter_eq.con.body.xml.gz2004-04-08 18:36 944  
[ ]Single_equal_single.con.types.xml.gz2004-04-08 18:36 1.0K 
[ ]U_set_diff.con.types.xml.gz2004-04-08 18:36 1.1K 
[ ]Single_equal.con.types.xml.gz2004-04-08 18:36 1.1K 
[ ]Included_single.con.types.xml.gz2004-04-08 18:36 1.2K 
[ ]Union_single_single.con.types.xml.gz2004-04-08 18:36 1.2K 
[ ]U_set_diff.con.body.xml.gz2004-04-08 18:36 1.2K 
[ ]Single_equal.con.body.xml.gz2004-04-08 18:36 1.3K 
[ ]Union_single_single.con.body.xml.gz2004-04-08 18:36 1.4K 
[ ]Included_single.con.body.xml.gz2004-04-08 18:36 1.4K 
[ ]Single_single_disjoint.con.types.xml.gz2004-04-08 18:36 1.5K 
[ ]Single_single_disjoint.con.body.xml.gz2004-04-08 18:36 1.5K 
[ ]Not_inter.con.types.xml.gz2004-04-08 18:36 1.5K 
[ ]Included_inter.con.types.xml.gz2004-04-08 18:36 1.5K 
[ ]Included_inter.con.body.xml.gz2004-04-08 18:36 1.6K 
[ ]Not_inter.con.body.xml.gz2004-04-08 18:36 1.7K 
[ ]Union_dec.con.body.xml.gz2004-04-08 18:36 1.9K 
[ ]Inter_neutral.con.types.xml.gz2004-04-08 18:36 1.9K 
[ ]Not_union.con.types.xml.gz2004-04-08 18:36 2.0K 
[ ]Inter_neutral.con.body.xml.gz2004-04-08 18:36 2.0K 
[ ]Inter_empty.con.types.xml.gz2004-04-08 18:36 2.0K 
[ ]Not_union.con.body.xml.gz2004-04-08 18:36 2.1K 
[ ]Differ_empty.con.types.xml.gz2004-04-08 18:36 2.1K 
[ ]Inter_absorb.con.body.xml.gz2004-04-08 18:36 2.1K 
[ ]Inter_empty.con.body.xml.gz2004-04-08 18:36 2.1K 
[ ]Inter_absorb.con.types.xml.gz2004-04-08 18:36 2.1K 
[ ]Differ_empty.con.body.xml.gz2004-04-08 18:36 2.1K 
[ ]Differ_E_E.con.types.xml.gz2004-04-08 18:36 2.4K 
[ ]Union_absorb.con.body.xml.gz2004-04-08 18:36 2.4K 
[ ]Union_neutral.con.types.xml.gz2004-04-08 18:36 2.4K 
[ ]Differ_E_E.con.body.xml.gz2004-04-08 18:36 2.4K 
[ ]Union_neutral.con.body.xml.gz2004-04-08 18:36 2.5K 
[ ]Union_absorb.con.types.xml.gz2004-04-08 18:36 2.5K 
[ ]INDEX2005-07-05 08:11 2.7K 
[ ]Inter_commut.con.body.xml.gz2004-04-08 18:36 2.9K 
[ ]Single_disjoint.con.types.xml.gz2004-04-08 18:36 3.1K 
[ ]Inter_commut.con.types.xml.gz2004-04-08 18:36 3.2K 
[ ]Single_disjoint.con.body.xml.gz2004-04-08 18:36 3.4K 
[ ]Union_commut.con.body.xml.gz2004-04-08 18:36 3.5K 
[ ]Union_commut.con.types.xml.gz2004-04-08 18:36 4.3K 
[ ]Union_inversion.con.types.xml.gz2004-04-08 18:36 5.2K 
[ ]Union_differ_inter.con.body.xml.gz2004-04-08 18:36 5.3K 
[ ]Union_differ_inter.con.types.xml.gz2004-04-08 18:36 5.3K 
[ ]Union_inversion.con.body.xml.gz2004-04-08 18:36 5.9K 
[ ]Inter_assoc.con.body.xml.gz2004-04-08 18:36 6.0K 
[ ]Inter_assoc.con.types.xml.gz2004-04-08 18:36 6.7K 
[ ]Union_assoc.con.body.xml.gz2004-04-08 18:36 7.8K 
[ ]Distributivity_inter_union.con.body.xml.gz2004-04-08 18:36 8.1K 
[ ]Union_inversion2.con.types.xml.gz2004-04-08 18:36 8.3K 
[ ]Union_inversion2.con.body.xml.gz2004-04-08 18:36 8.5K 
[ ]Distributivity_union_inter.con.body.xml.gz2004-04-08 18:36 9.2K 
[ ]Union_assoc.con.types.xml.gz2004-04-08 18:36 9.8K 
[ ]Distributivity_inter_union.con.types.xml.gz2004-04-08 18:36 10K 
[ ]Distributivity_union_inter.con.types.xml.gz2004-04-08 18:36 12K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80