Index of /xml/Suresnes/BDD/rauzy/algorithme1/BDTs

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Decrease_induction1/2005-07-05 08:14 -  
[ ]BDT.ind.types.xml.gz2004-04-08 09:32 199  
[ ]dim.ind.types.xml.gz2004-04-08 09:32 200  
[ ]Dim.con.types.xml.gz2004-04-08 09:32 201  
[ ]Fun.con.types.xml.gz2004-04-08 09:33 201  
[ ]OBDT.ind.types.xml.gz2004-04-08 09:32 204  
[ ]Choice.con.types.xml.gz2004-04-08 09:32 206  
[ ]Maxdim.con.types.xml.gz2004-04-08 09:33 206  
[ ]BDT_rec.con.types.xml.gz2004-04-08 09:32 207  
[ ]BDT_rect.con.types.xml.gz2004-04-08 09:32 209  
[ ]inv_OBDT_dim.con.types.xml.gz2004-04-08 09:32 218  
[ ]inv_OBDT_neq.con.types.xml.gz2004-04-08 09:33 218  
[ ]inv_OBDT_order.con.types.xml.gz2004-04-08 09:33 221  
[ ]node_decomposition.ind.types.xml.gz2004-04-08 09:32 229  
[ ]Dim.con.xml.gz2004-04-08 09:32 301  
[ ]inv_OBDT_dim.con.xml.gz2004-04-08 09:32 315  
[ ]inv_OBDT_neq.con.xml.gz2004-04-08 09:33 316  
[ ]Maxdim.con.xml.gz2004-04-08 09:33 318  
[ ]inv_OBDT_order.con.xml.gz2004-04-08 09:33 319  
[ ]Fun.con.xml.gz2004-04-08 09:33 320  
[ ]Choice.con.xml.gz2004-04-08 09:32 334  
[ ]neq_One_Zero.con.xml.gz2004-04-08 09:32 362  
[ ]neq_Zero_One.con.xml.gz2004-04-08 09:32 362  
[ ]BDT_rec.con.body.xml.gz2004-04-08 09:32 416  
[ ]BDT.ind.xml.gz2004-04-08 09:32 419  
[ ]BDT_ind.con.body.xml.gz2004-04-08 09:32 419  
[ ]p_inv_OBDT_neq.con.xml.gz2004-04-08 09:33 419  
[ ]p_inv_OBDT_order.con.xml.gz2004-04-08 09:33 421  
[ ]p_inv_OBDT_dim.con.xml.gz2004-04-08 09:32 422  
[ ]Maxdim.con.body.xml.gz2004-04-08 09:33 441  
[ ]dim_Dim.con.xml.gz2004-04-08 09:32 490  
[ ]eq_BDT_decidable.con.xml.gz2004-04-08 09:32 513  
[ ]neq_Node_One.con.xml.gz2004-04-08 09:32 521  
[ ]Decrease_n1n2_n1h2.con.xml.gz2004-04-08 09:33 524  
[ ]Decrease_n1n2_n1l2.con.xml.gz2004-04-08 09:33 524  
[ ]neq_Node_Zero.con.xml.gz2004-04-08 09:32 524  
[ ]Decrease_n1n2_h1n2.con.xml.gz2004-04-08 09:33 525  
[ ]Decrease_n1n2_l1n2.con.xml.gz2004-04-08 09:33 525  
[ ]Dim_gt_O_node_decomposition.con.xml.gz2004-04-08 09:32 535  
[ ]Choice_left.con.xml.gz2004-04-08 09:32 547  
[ ]Dim.con.body.xml.gz2004-04-08 09:32 549  
[ ]Choice_right.con.xml.gz2004-04-08 09:32 550  
[ ]ordered_node_ordered_sons.con.xml.gz2004-04-08 09:33 559  
[ ]ordered_node_neq_sons.con.xml.gz2004-04-08 09:33 564  
[ ]Choice_invariant.con.xml.gz2004-04-08 09:32 569  
[ ]Decrease_n1n2_h1h2.con.xml.gz2004-04-08 09:33 581  
[ ]Decrease_n1n2_l1l2.con.xml.gz2004-04-08 09:33 581  
[ ]Ordered_node_ordered_restr.con.xml.gz2004-04-08 09:33 585  
[ ]Dim_node_gt_O.con.xml.gz2004-04-08 09:32 586  
[ ]Dim_is_depvar_max.con.xml.gz2004-04-08 09:33 594  
[ ]dim_node_dim_sons.con.body.xml.gz2004-04-08 09:32 599  
[ ]ordered_node_neq_sons.con.body.xml.gz2004-04-08 09:33 610  
[ ]ordered_node_ordered_sons.con.body.xml.gz2004-04-08 09:33 611  
[ ]dim_node_dim_sons.con.xml.gz2004-04-08 09:32 612  
[ ]Choice_dim_decrease.con.xml.gz2004-04-08 09:33 624  
[ ]inv_OBDT_order.con.body.xml.gz2004-04-08 09:33 636  
[ ]dim.ind.xml.gz2004-04-08 09:32 641  
[ ]inv_OBDT_neq.con.body.xml.gz2004-04-08 09:33 641  
[ ]node_decomposition_ind.con.xml.gz2004-04-08 09:32 641  
[ ]ordered_node_a_son_neq_zero.con.xml.gz2004-04-08 09:33 642  
[ ]node_decomposition.ind.xml.gz2004-04-08 09:32 643  
[ ]Fun_sons_dim_nondep.con.xml.gz2004-04-08 09:33 662  
[ ]neq_vars_neq_BDTs.con.xml.gz2004-04-08 09:32 666  
[ ]Fun_node_case_left.con.xml.gz2004-04-08 09:33 667  
[ ]neq_right_neq_BDTs.con.xml.gz2004-04-08 09:32 668  
[ ]Fun_node_case_right.con.xml.gz2004-04-08 09:33 669  
[ ]neq_left_neq_BDTs.con.xml.gz2004-04-08 09:32 670  
[ ]BDT_rect.con.xml.gz2004-04-08 09:32 676  
[ ]BDT_rec.con.xml.gz2004-04-08 09:32 677  
[ ]BDT_ind.con.xml.gz2004-04-08 09:32 681  
[ ]Choice_Fun_eq_Fun_Choice.con.xml.gz2004-04-08 09:33 681  
[ ]node_decomposition_ind.con.types.xml.gz2004-04-08 09:32 686  
[ ]inv_OBDT_dim.con.body.xml.gz2004-04-08 09:32 693  
[ ]Sh_exp_dim.con.xml.gz2004-04-08 09:33 694  
[ ]Shannon_expansion.con.xml.gz2004-04-08 09:33 696  
[ ]Components_eq_nodes_eq.con.xml.gz2004-04-08 09:32 710  
[ ]dim_ind.con.xml.gz2004-04-08 09:32 724  
[ ]ordered_node_neq_sons.con.types.xml.gz2004-04-08 09:33 726  
[ ]ordered_node_ordered_sons.con.types.xml.gz2004-04-08 09:33 730  
[ ]node_decomposition_ind.con.body.xml.gz2004-04-08 09:32 757  
[ ]Fun_eq_Fun_choice_eq.con.xml.gz2004-04-08 09:33 769  
[ ]dim_Dim.con.body.xml.gz2004-04-08 09:32 784  
[ ]dim_ind.con.types.xml.gz2004-04-08 09:32 791  
[ ]Measure_decrease.con.xml.gz2004-04-08 09:33 793  
[ ]neq_One_Zero.con.types.xml.gz2004-04-08 09:32 795  
[ ]neq_Zero_One.con.types.xml.gz2004-04-08 09:32 798  
[ ]dim_node_dim_sons.con.types.xml.gz2004-04-08 09:32 817  
[ ]OBDT.ind.xml.gz2004-04-08 09:32 829  
[ ]Fun.con.body.xml.gz2004-04-08 09:33 840  
[ ]neq_One_Zero.con.body.xml.gz2004-04-08 09:32 847  
[ ]neq_Zero_One.con.body.xml.gz2004-04-08 09:32 847  
[ ]OBDT_ind.con.xml.gz2004-04-08 09:32 927  
[ ]BDT_ind.con.types.xml.gz2004-04-08 09:32 935  
[ ]dim_ind.con.body.xml.gz2004-04-08 09:32 947  
[ ]p_inv_OBDT_neq.con.body.xml.gz2004-04-08 09:33 951  
[ ]Dim_node_gt_O.con.body.xml.gz2004-04-08 09:32 967  
[ ]Fun_node_case_left.con.body.xml.gz2004-04-08 09:33 972  
[ ]Fun_node_case_right.con.body.xml.gz2004-04-08 09:33 1.0K 
[ ]neq_Node_One.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]neq_Node_Zero.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]dim_Dim.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]Dim_node_gt_O.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]p_inv_OBDT_order.con.body.xml.gz2004-04-08 09:33 1.0K 
[ ]p_inv_OBDT_neq.con.types.xml.gz2004-04-08 09:33 1.0K 
[ ]p_inv_OBDT_order.con.types.xml.gz2004-04-08 09:33 1.0K 
[ ]Components_eq_nodes_eq.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]p_inv_OBDT_dim.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]neq_Node_One.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]neq_Node_Zero.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]p_inv_OBDT_dim.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]BDT_rect.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]Corr_hl_Corr_node.con.xml.gz2004-04-08 09:33 1.1K 
[ ]Choice.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]Fun_node_case_left.con.types.xml.gz2004-04-08 09:33 1.2K 
[ ]Fun_node_case_right.con.types.xml.gz2004-04-08 09:33 1.2K 
[ ]Components_eq_nodes_eq.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]OBDT_ind.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]ordered_node_a_son_neq_zero.con.types.xml.gz2004-04-08 09:33 1.5K 
[ ]eq_BDT_decidable.con.types.xml.gz2004-04-08 09:32 1.6K 
[ ]Fun_sons_dim_nondep.con.body.xml.gz2004-04-08 09:33 1.7K 
[ ]Fun_sons_dim_nondep.con.types.xml.gz2004-04-08 09:33 1.7K 
[ ]OBDT_ind.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]ordered_node_a_son_neq_zero.con.body.xml.gz2004-04-08 09:33 1.7K 
[ ]Decrease_n1n2_h1n2.con.body.xml.gz2004-04-08 09:33 1.9K 
[ ]Decrease_n1n2_l1n2.con.body.xml.gz2004-04-08 09:33 1.9K 
[ ]Shannon_expansion.con.body.xml.gz2004-04-08 09:33 1.9K 
[ ]Decrease_n1n2_h1n2.con.types.xml.gz2004-04-08 09:33 1.9K 
[ ]Decrease_n1n2_l1n2.con.types.xml.gz2004-04-08 09:33 1.9K 
[ ]Dim_gt_O_node_decomposition.con.body.xml.gz2004-04-08 09:32 1.9K 
[ ]Choice_left.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]Choice_right.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]Decrease_n1n2_h1h2.con.types.xml.gz2004-04-08 09:33 2.0K 
[ ]Decrease_n1n2_l1l2.con.types.xml.gz2004-04-08 09:33 2.0K 
[ ]Shannon_expansion.con.types.xml.gz2004-04-08 09:33 2.0K 
[ ]Decrease_n1n2_h1h2.con.body.xml.gz2004-04-08 09:33 2.2K 
[ ]Decrease_n1n2_l1l2.con.body.xml.gz2004-04-08 09:33 2.2K 
[ ]Dim_gt_O_node_decomposition.con.types.xml.gz2004-04-08 09:33 2.2K 
[ ]neq_vars_neq_BDTs.con.body.xml.gz2004-04-08 09:32 2.3K 
[ ]neq_left_neq_BDTs.con.body.xml.gz2004-04-08 09:32 2.3K 
[ ]neq_right_neq_BDTs.con.body.xml.gz2004-04-08 09:32 2.3K 
[ ]Decrease_n1n2_n1h2.con.types.xml.gz2004-04-08 09:33 2.3K 
[ ]Decrease_n1n2_n1l2.con.types.xml.gz2004-04-08 09:33 2.3K 
[ ]Decrease_n1n2_n1h2.con.body.xml.gz2004-04-08 09:33 2.5K 
[ ]Decrease_n1n2_n1l2.con.body.xml.gz2004-04-08 09:33 2.5K 
[ ]Fun_eq_Fun_choice_eq.con.types.xml.gz2004-04-08 09:33 2.5K 
[ ]Fun_eq_Fun_choice_eq.con.body.xml.gz2004-04-08 09:33 2.5K 
[ ]neq_vars_neq_BDTs.con.types.xml.gz2004-04-08 09:32 2.7K 
[ ]neq_left_neq_BDTs.con.types.xml.gz2004-04-08 09:32 2.7K 
[ ]neq_right_neq_BDTs.con.types.xml.gz2004-04-08 09:32 2.7K 
[ ]INDEX2005-07-05 08:14 3.2K 
[ ]Ordered_node_ordered_restr.con.body.xml.gz2004-04-08 09:33 3.6K 
[ ]Choice_invariant.con.body.xml.gz2004-04-08 09:32 3.8K 
[ ]Choice_dim_decrease.con.body.xml.gz2004-04-08 09:33 4.1K 
[ ]Corr_hl_Corr_node.con.types.xml.gz2004-04-08 09:33 4.2K 
[ ]Corr_hl_Corr_node.con.body.xml.gz2004-04-08 09:33 4.2K 
[ ]Choice_left.con.types.xml.gz2004-04-08 09:32 4.3K 
[ ]Choice_right.con.types.xml.gz2004-04-08 09:32 4.3K 
[ ]Dim_is_depvar_max.con.body.xml.gz2004-04-08 09:33 5.0K 
[ ]Sh_exp_dim.con.body.xml.gz2004-04-08 09:33 5.1K 
[ ]Measure_decrease.con.types.xml.gz2004-04-08 09:33 5.7K 
[ ]Dim_is_depvar_max.con.types.xml.gz2004-04-08 09:33 5.9K 
[ ]Measure_decrease.con.body.xml.gz2004-04-08 09:33 6.3K 
[ ]Ordered_node_ordered_restr.con.types.xml.gz2004-04-08 09:33 6.7K 
[ ]Choice_invariant.con.types.xml.gz2004-04-08 09:32 7.2K 
[ ]Choice_Fun_eq_Fun_Choice.con.body.xml.gz2004-04-08 09:33 7.9K 
[ ]Choice_dim_decrease.con.types.xml.gz2004-04-08 09:33 8.2K 
[ ]eq_BDT_decidable.con.body.xml.gz2004-04-08 09:32 11K 
[ ]Sh_exp_dim.con.types.xml.gz2004-04-08 09:33 13K 
[ ]Choice_Fun_eq_Fun_Choice.con.types.xml.gz2004-04-08 09:33 13K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80