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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Commute_if_bool_op2.con.types.xml.gz2004-04-08 09:32 6.3K 
[ ]FB12.con.body.xml.gz2004-04-08 09:32 5.8K 
[ ]FB12.con.types.xml.gz2004-04-08 09:32 5.1K 
[ ]Commute_if_bool_op2.con.body.xml.gz2004-04-08 09:32 4.9K 
[ ]Frestr_Fi_j.con.types.xml.gz2004-04-08 09:32 3.6K 
[ ]Frestr_Fi_i_b.con.types.xml.gz2004-04-08 09:32 3.3K 
[ ]L_Assign3.con.types.xml.gz2004-04-08 09:32 3.3K 
[ ]Frestr_Fi_false.con.types.xml.gz2004-04-08 09:32 3.2K 
[ ]Frestr_Fi_true.con.types.xml.gz2004-04-08 09:32 3.2K 
[ ]L_Assign1.con.types.xml.gz2004-04-08 09:32 3.2K 
[ ]BF_eq_congruence_op3.con.types.xml.gz2004-04-08 09:32 3.1K 
[ ]L_Assign2.con.types.xml.gz2004-04-08 09:32 2.9K 
[ ]FShannon_expansion.con.types.xml.gz2004-04-08 09:32 2.9K 
[ ]INDEX2005-07-05 08:14 2.8K 
[ ]BF_eq_congruence_op2.con.types.xml.gz2004-04-08 09:32 2.8K 
[ ]L_Dep_Var1.con.types.xml.gz2004-04-08 09:32 2.7K 
[ ]BF_eq_congruence_op2.con.body.xml.gz2004-04-08 09:32 2.6K 
[ ]L_Dep_Var1.con.body.xml.gz2004-04-08 09:32 2.6K 
[ ]FShannon_expansion.con.body.xml.gz2004-04-08 09:32 2.1K 
[ ]Commute_if_not.con.types.xml.gz2004-04-08 09:32 2.1K 
[ ]Frestr_Fi_j.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]L_Assign1.con.body.xml.gz2004-04-08 09:32 1.9K 
[ ]Frestr_Fi_i_b.con.body.xml.gz2004-04-08 09:32 1.8K 
[ ]Frestr_Fi_false.con.body.xml.gz2004-04-08 09:32 1.8K 
[ ]Frestr_Fi_true.con.body.xml.gz2004-04-08 09:32 1.8K 
[ ]L_Assign3.con.body.xml.gz2004-04-08 09:32 1.8K 
[ ]Commute_Frestr_IF.con.types.xml.gz2004-04-08 09:32 1.7K 
[ ]L_Assign2.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]BF_eq_congruence_op3.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]eq_f_iff.con.types.xml.gz2004-04-08 09:32 1.3K 
[ ]BF_eq_trans.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]Ass_eq_trans.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]eq_Fi_if_i.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]F_eq_Frestr_eq.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]BF_eq_congruence_op1.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]Boolean_AND.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]Boolean_OR.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]Commute_if_not.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]FB12bis.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]L_Dep_Var2.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]FB12bis.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]BF_eq_sym.con.types.xml.gz2004-04-08 09:32 935  
[ ]TRUE_neq_FALSE.con.types.xml.gz2004-04-08 09:32 934  
[ ]Ass_eq_sym.con.types.xml.gz2004-04-08 09:32 934  
[ ]Fcst_no_depvar.con.types.xml.gz2004-04-08 09:32 920  
[ ]TRUE_neq_FALSE.con.body.xml.gz2004-04-08 09:32 914  
[ ]Commutative_AND.con.types.xml.gz2004-04-08 09:32 906  
[ ]Commutative_OR.con.types.xml.gz2004-04-08 09:32 903  
[ ]Ass_eq_trans.con.body.xml.gz2004-04-08 09:32 894  
[ ]Boolean_AND.con.body.xml.gz2004-04-08 09:32 884  
[ ]Cases_Assign_i.con.types.xml.gz2004-04-08 09:32 882  
[ ]Boolean_OR.con.body.xml.gz2004-04-08 09:32 881  
[ ]L_Dep_Var2.con.body.xml.gz2004-04-08 09:32 877  
[ ]BF_eq_trans.con.body.xml.gz2004-04-08 09:32 869  
[ ]eq_f_iff.con.body.xml.gz2004-04-08 09:32 852  
[ ]eq_if_true_f.con.types.xml.gz2004-04-08 09:32 850  
[ ]Upd.con.body.xml.gz2004-04-08 09:32 850  
[ ]FB12.con.xml.gz2004-04-08 09:32 846  
[ ]eq_if_false_g.con.types.xml.gz2004-04-08 09:32 844  
[ ]BF_eq_congruence_op1.con.body.xml.gz2004-04-08 09:32 841  
[ ]Cases_Assign_i.con.body.xml.gz2004-04-08 09:32 824  
[ ]Fcst_no_depvar.con.body.xml.gz2004-04-08 09:32 822  
[ ]Commute_Frestr_IF.con.body.xml.gz2004-04-08 09:32 797  
[ ]Commute_if_bool_op2.con.xml.gz2004-04-08 09:32 793  
[ ]FALSE_absorb_AND.con.types.xml.gz2004-04-08 09:32 777  
[ ]TRUE_absorb_OR.con.types.xml.gz2004-04-08 09:32 774  
[ ]Restr_Fcst.con.types.xml.gz2004-04-08 09:32 771  
[ ]FALSE_neutral_OR.con.types.xml.gz2004-04-08 09:32 766  
[ ]TRUE_neutral_AND.con.types.xml.gz2004-04-08 09:32 765  
[ ]Boolean.con.body.xml.gz2004-04-08 09:32 758  
[ ]FB12bis.con.xml.gz2004-04-08 09:32 749  
[ ]eq_Fi_if_i.con.body.xml.gz2004-04-08 09:32 746  
[ ]Ass_eq_sym.con.body.xml.gz2004-04-08 09:32 722  
[ ]BF_eq_sym.con.body.xml.gz2004-04-08 09:32 716  
[ ]Commute_Frestr_IF.con.xml.gz2004-04-08 09:32 678  
[ ]BF_eq_congruence_op2.con.xml.gz2004-04-08 09:32 660  
[ ]BF_eq_congruence_op3.con.xml.gz2004-04-08 09:32 658  
[ ]Ass_eq_refl.con.types.xml.gz2004-04-08 09:32 652  
[ ]BF_eq_refl.con.types.xml.gz2004-04-08 09:32 647  
[ ]Frestr_Fi_j.con.xml.gz2004-04-08 09:32 606  
[ ]L_Assign3.con.xml.gz2004-04-08 09:32 605  
[ ]F_eq_Frestr_eq.con.body.xml.gz2004-04-08 09:32 605  
[ ]Commute_if_not.con.xml.gz2004-04-08 09:32 602  
[ ]IF_.con.body.xml.gz2004-04-08 09:32 591  
[ ]FShannon_expansion.con.xml.gz2004-04-08 09:32 579  
[ ]L_Dep_Var2.con.xml.gz2004-04-08 09:32 577  
[ ]F_eq_Frestr_eq.con.xml.gz2004-04-08 09:32 574  
[ ]L_Assign1.con.xml.gz2004-04-08 09:32 569  
[ ]L_Dep_Var1.con.xml.gz2004-04-08 09:32 562  
[ ]eq_if_false_g.con.body.xml.gz2004-04-08 09:32 543  
[ ]Cases_Assign_i.con.xml.gz2004-04-08 09:32 543  
[ ]Restr_Fcst.con.xml.gz2004-04-08 09:32 541  
[ ]eq_if_true_f.con.body.xml.gz2004-04-08 09:32 540  
[ ]Dep_Var.con.body.xml.gz2004-04-08 09:32 539  
[ ]Frestr_Fi_i_b.con.xml.gz2004-04-08 09:32 529  
[ ]Ass_eq.con.body.xml.gz2004-04-08 09:32 522  
[ ]BF_eq.con.body.xml.gz2004-04-08 09:32 521  
[ ]Restr_Fcst.con.body.xml.gz2004-04-08 09:32 516  
[ ]Frestr_Fi_true.con.xml.gz2004-04-08 09:32 515  
[ ]Frestr_Fi_false.con.xml.gz2004-04-08 09:32 515  
[ ]L_Assign2.con.xml.gz2004-04-08 09:32 504  
[ ]Frestr.con.body.xml.gz2004-04-08 09:32 504  
[ ]FALSE_neutral_OR.con.body.xml.gz2004-04-08 09:32 500  
[ ]TRUE_neutral_AND.con.body.xml.gz2004-04-08 09:32 499  
[ ]BF_eq_congruence_op1.con.xml.gz2004-04-08 09:32 499  
[ ]FALSE_absorb_AND.con.body.xml.gz2004-04-08 09:32 498  
[ ]TRUE_absorb_OR.con.body.xml.gz2004-04-08 09:32 495  
[ ]Fcst_no_depvar.con.xml.gz2004-04-08 09:32 495  
[ ]Extensionality_Assignments.con.xml.gz2004-04-08 09:32 494  
[ ]Commutative_AND.con.body.xml.gz2004-04-08 09:32 493  
[ ]eq_Fi_if_i.con.xml.gz2004-04-08 09:32 491  
[ ]Commutative_OR.con.body.xml.gz2004-04-08 09:32 491  
[ ]Ass_eq_refl.con.body.xml.gz2004-04-08 09:32 488  
[ ]eq_f_iff.con.xml.gz2004-04-08 09:32 485  
[ ]BF_eq_refl.con.body.xml.gz2004-04-08 09:32 485  
[ ]Ass_eq_trans.con.xml.gz2004-04-08 09:32 484  
[ ]BF_eq_trans.con.xml.gz2004-04-08 09:32 482  
[ ]Commutative_AND.con.xml.gz2004-04-08 09:32 459  
[ ]Commutative_OR.con.xml.gz2004-04-08 09:32 456  
[ ]eq_if_false_g.con.xml.gz2004-04-08 09:32 453  
[ ]AND.con.body.xml.gz2004-04-08 09:32 450  
[ ]eq_if_true_f.con.xml.gz2004-04-08 09:32 449  
[ ]OR.con.body.xml.gz2004-04-08 09:32 448  
[ ]Ass_eq_sym.con.xml.gz2004-04-08 09:32 441  
[ ]BF_eq_sym.con.xml.gz2004-04-08 09:32 439  
[ ]FALSE_absorb_AND.con.xml.gz2004-04-08 09:32 426  
[ ]TRUE_neutral_AND.con.xml.gz2004-04-08 09:32 425  
[ ]TRUE_absorb_OR.con.xml.gz2004-04-08 09:32 423  
[ ]FALSE_neutral_OR.con.xml.gz2004-04-08 09:32 423  
[ ]NOT.con.body.xml.gz2004-04-08 09:32 415  
[ ]F.con.body.xml.gz2004-04-08 09:32 409  
[ ]Fcst.con.body.xml.gz2004-04-08 09:32 388  
[ ]Ass_eq_refl.con.xml.gz2004-04-08 09:32 383  
[ ]BF_eq_refl.con.xml.gz2004-04-08 09:32 381  
[ ]FALSE.con.body.xml.gz2004-04-08 09:32 367  
[ ]TRUE.con.body.xml.gz2004-04-08 09:32 364  
[ ]Upd.con.xml.gz2004-04-08 09:32 359  
[ ]Frestr.con.xml.gz2004-04-08 09:32 359  
[ ]Dep_Var.con.xml.gz2004-04-08 09:32 358  
[ ]Boolean.con.xml.gz2004-04-08 09:32 353  
[ ]TRUE_neq_FALSE.con.xml.gz2004-04-08 09:32 348  
[ ]Fcst.con.xml.gz2004-04-08 09:32 344  
[ ]BF.con.body.xml.gz2004-04-08 09:32 338  
[ ]FALSE.con.xml.gz2004-04-08 09:32 335  
[ ]TRUE.con.xml.gz2004-04-08 09:32 333  
[ ]Ass_eq.con.xml.gz2004-04-08 09:32 328  
[ ]Assign.con.body.xml.gz2004-04-08 09:32 326  
[ ]BF_eq.con.xml.gz2004-04-08 09:32 325  
[ ]F.con.xml.gz2004-04-08 09:32 322  
[ ]IF_.con.xml.gz2004-04-08 09:32 317  
[ ]AND.con.xml.gz2004-04-08 09:32 310  
[ ]OR.con.xml.gz2004-04-08 09:32 307  
[ ]NOT.con.xml.gz2004-04-08 09:32 297  
[ ]Boolean_AND.con.xml.gz2004-04-08 09:32 293  
[ ]Boolean_OR.con.xml.gz2004-04-08 09:32 290  
[ ]Extensionality_Assignments.con.types.xml.gz2004-04-08 09:32 253  
[ ]Dep_Var.con.types.xml.gz2004-04-08 09:32 220  
[ ]Ass_eq.con.types.xml.gz2004-04-08 09:32 218  
[ ]Frestr.con.types.xml.gz2004-04-08 09:32 217  
[ ]FALSE.con.types.xml.gz2004-04-08 09:32 217  
[ ]Boolean.con.types.xml.gz2004-04-08 09:32 217  
[ ]Assign.con.types.xml.gz2004-04-08 09:32 217  
[ ]BF_eq.con.types.xml.gz2004-04-08 09:32 216  
[ ]TRUE.con.types.xml.gz2004-04-08 09:32 215  
[ ]Fcst.con.types.xml.gz2004-04-08 09:32 214  
[ ]Upd.con.types.xml.gz2004-04-08 09:32 213  
[ ]IF_.con.types.xml.gz2004-04-08 09:32 213  
[ ]AND.con.types.xml.gz2004-04-08 09:32 213  
[ ]NOT.con.types.xml.gz2004-04-08 09:32 212  
[ ]OR.con.types.xml.gz2004-04-08 09:32 211  
[ ]BF.con.types.xml.gz2004-04-08 09:32 211  
[ ]F.con.types.xml.gz2004-04-08 09:32 210  
[ ]Assign.con.xml.gz2004-04-08 09:32 200  
[ ]BF.con.xml.gz2004-04-08 09:32 194  
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80