Index of /xml/Suresnes/BDD/canonicite/Boolean_functions

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Assign_k_finite.con.types.xml.gz2004-04-08 09:32 46K 
[ ]Assign_k_finite.con.body.xml.gz2004-04-08 09:32 30K 
[ ]Restr_le_k_Restr_le_Sk.con.types.xml.gz2004-04-08 09:32 21K 
[ ]Restr_le_k_Restr_le_Sk.con.body.xml.gz2004-04-08 09:32 14K 
[ ]Restr_xi_Restr_xj.con.types.xml.gz2004-04-08 09:32 13K 
[ ]xi_non_dep_Restr_xi_Id.con.types.xml.gz2004-04-08 09:32 12K 
[ ]xi_non_dep_Restr_xi_Id.con.body.xml.gz2004-04-08 09:32 8.8K 
[ ]Restr_xi_Restr_xi.con.types.xml.gz2004-04-08 09:32 7.7K 
[ ]Restr_xi_Restr_xj.con.body.xml.gz2004-04-08 09:32 6.1K 
[ ]A_Dep_xi_dec.con.types.xml.gz2004-04-08 09:32 4.4K 
[ ]Upd_le_O_Id.con.types.xml.gz2004-04-08 09:32 4.0K 
[ ]Dep_set_decidable.con.types.xml.gz2004-04-08 09:32 3.8K 
[ ]Upd_le_n_Cst.con.types.xml.gz2004-04-08 09:32 3.8K 
[ ]Upd_xi_xj.con.types.xml.gz2004-04-08 09:32 3.7K 
[ ]Dep_Restr_f_Dep_f.con.types.xml.gz2004-04-08 09:32 3.7K 
[ ]f_Restr_f.con.types.xml.gz2004-04-08 09:32 3.7K 
[ ]Dep_Restr_f_Dep_f.con.body.xml.gz2004-04-08 09:32 3.5K 
[ ]CardSk_Greatest.con.types.xml.gz2004-04-08 09:32 3.4K 
[ ]CardSk_Greatest.con.body.xml.gz2004-04-08 09:32 3.1K 
[ ]INDEX2005-07-05 08:14 3.1K 
[ ]Assign_n_finite.con.types.xml.gz2004-04-08 09:32 3.0K 
[ ]Dep_Restrf_incl_Depf.con.types.xml.gz2004-04-08 09:32 2.9K 
[ ]Restr_xi_Restr_xi.con.body.xml.gz2004-04-08 09:32 2.9K 
[ ]no_Dep_Var_Cstk.con.types.xml.gz2004-04-08 09:32 2.9K 
[ ]Dep_set_decidable.con.body.xml.gz2004-04-08 09:32 2.8K 
[ ]A_Dep_xi_dec.con.body.xml.gz2004-04-08 09:32 2.6K 
[ ]no_Dep_Var_Cstk.con.body.xml.gz2004-04-08 09:32 2.5K 
[ ]CardO_no_Dep_Var.con.types.xml.gz2004-04-08 09:32 2.5K 
[ ]xi_non_dep_Restr_xi.con.types.xml.gz2004-04-08 09:32 2.4K 
[ ]f_Restr_f.con.body.xml.gz2004-04-08 09:32 2.4K 
[ ]Upd_le_O_Id.con.body.xml.gz2004-04-08 09:32 2.3K 
[ ]Upd_le_n_Cst.con.body.xml.gz2004-04-08 09:32 2.2K 
[ ]CardO_no_Dep_Var.con.body.xml.gz2004-04-08 09:32 2.1K 
[ ]Upd_xi_xj.con.body.xml.gz2004-04-08 09:32 2.1K 
[ ]Dep_Restrf_incl_Depf.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]Assign_n_finite.con.body.xml.gz2004-04-08 09:32 2.0K 
[ ]xi_non_dep_Restr_xi.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]Assign_eq_trans.con.body.xml.gz2004-04-08 09:32 1.6K 
[ ]BF_eq_same_dep_var.con.types.xml.gz2004-04-08 09:32 1.5K 
[ ]BF_eq_same_dep_var.con.body.xml.gz2004-04-08 09:32 1.5K 
[ ]Assign_eq_trans.con.types.xml.gz2004-04-08 09:32 1.4K 
[ ]BF_eq_trans.con.types.xml.gz2004-04-08 09:32 1.4K 
[ ]Restr_le_n_Fcst.con.types.xml.gz2004-04-08 09:32 1.3K 
[ ]BF_eq_Restr.con.types.xml.gz2004-04-08 09:32 1.3K 
[ ]CardO_cst_fct.con.types.xml.gz2004-04-08 09:32 1.3K 
[ ]BF_eq_congr.con.types.xml.gz2004-04-08 09:32 1.3K 
[ ]Assign_eq_sym.con.body.xml.gz2004-04-08 09:32 1.2K 
[ ]Constant_fct_inv.con.types.xml.gz2004-04-08 09:32 1.2K 
[ ]BF_eq_congr.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]CardSk_Card_Restr.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]Assign_eq_sym.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]CardO_cst_fct.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]Constant_fct_inv.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]Gst_Dep_Var_inv_Greatest.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]Greatest_Dep_Var_ind.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]Assign_eq_ind.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]CardSk_Card_Restr.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]BF_eq_sym.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]Upd_le.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]Gst_Dep_Var_inv_Greatest.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]Upd.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]Dep_set_finite.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]Restr_le_n_Fcst.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]BF_eq_trans.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]Greatest_Dep_Var_rect.con.body.xml.gz2004-04-08 09:32 957  
[ ]Assign_eq_ind.con.types.xml.gz2004-04-08 09:32 942  
[ ]Gst_Dep_Var_inv_Dep.con.body.xml.gz2004-04-08 09:32 930  
[ ]Gst_Dep_Var_inv_Dep.con.types.xml.gz2004-04-08 09:32 908  
[ ]Restr_le_k_Restr_le_Sk.con.xml.gz2004-04-08 09:32 906  
[ ]Assign_n_inhabited.con.types.xml.gz2004-04-08 09:32 902  
[ ]Greatest_Dep_Var.ind.xml.gz2004-04-08 09:32 886  
[ ]eq_Var_eq_values.con.body.xml.gz2004-04-08 09:32 880  
[ ]CardSk_Card_Restr.con.xml.gz2004-04-08 09:32 875  
[ ]Assign_eq_ind.con.xml.gz2004-04-08 09:32 871  
[ ]Greatest_Dep_Var_rect.con.xml.gz2004-04-08 09:32 838  
[ ]Greatest_Dep_Var_rec.con.xml.gz2004-04-08 09:32 838  
[ ]Greatest_Dep_Var_ind.con.xml.gz2004-04-08 09:32 832  
[ ]Restr_xi_Restr_xj.con.xml.gz2004-04-08 09:32 828  
[ ]BF_eq_sym.con.body.xml.gz2004-04-08 09:32 808  
[ ]eq_Var_eq_values.con.types.xml.gz2004-04-08 09:32 805  
[ ]CardSk_Greatest.con.xml.gz2004-04-08 09:32 802  
[ ]Constant_fct_ind.con.body.xml.gz2004-04-08 09:32 796  
[ ]Assign_eq.ind.xml.gz2004-04-08 09:32 767  
[ ]A_Dep_xi_dec.con.xml.gz2004-04-08 09:32 767  
[ ]BF_eq_congr.con.xml.gz2004-04-08 09:32 754  
[ ]Dep_Restrf_incl_Depf.con.xml.gz2004-04-08 09:32 748  
[ ]Dep_set_finite.con.body.xml.gz2004-04-08 09:32 739  
[ ]Upd_xi_xj.con.xml.gz2004-04-08 09:32 735  
[ ]no_Dep_Var_Cstk.con.xml.gz2004-04-08 09:32 732  
[ ]Constant_fct_ind.con.types.xml.gz2004-04-08 09:32 722  
[ ]Constant_fct.ind.xml.gz2004-04-08 09:32 717  
[ ]Assign_gt.con.body.xml.gz2004-04-08 09:32 707  
[ ]Assign_eq_refl.con.types.xml.gz2004-04-08 09:32 706  
[ ]BF_eq_refl.con.types.xml.gz2004-04-08 09:32 702  
[ ]Gst_Dep_Var_inv_Greatest.con.xml.gz2004-04-08 09:32 687  
[ ]BF_eq_Restr.con.body.xml.gz2004-04-08 09:32 687  
[ ]CardO_no_Dep_Var.con.xml.gz2004-04-08 09:32 685  
[ ]Constant_fct_ind.con.xml.gz2004-04-08 09:32 678  
[ ]f_Restr_f.con.xml.gz2004-04-08 09:32 675  
[ ]Assign_n_inhabited.con.body.xml.gz2004-04-08 09:32 666  
[ ]BF_eq_Restr.con.xml.gz2004-04-08 09:32 664  
[ ]eq_Var_eq_values.con.xml.gz2004-04-08 09:32 659  
[ ]Restr_xi_Restr_xi.con.xml.gz2004-04-08 09:32 657  
[ ]Constant_fct_inv.con.xml.gz2004-04-08 09:32 657  
[ ]xi_non_dep_Restr_xi_Id.con.xml.gz2004-04-08 09:32 653  
[ ]Dep_set_finite.con.xml.gz2004-04-08 09:32 645  
[ ]Dep_Restr_f_Dep_f.con.xml.gz2004-04-08 09:32 637  
[ ]CardO_cst_fct.con.xml.gz2004-04-08 09:32 626  
[ ]BF_eq_same_dep_var.con.xml.gz2004-04-08 09:32 619  
[ ]Dep_Var.con.body.xml.gz2004-04-08 09:32 617  
[ ]Assign_subst.con.xml.gz2004-04-08 09:32 617  
[ ]Assign_eq_refl.con.body.xml.gz2004-04-08 09:32 615  
[ ]xi_non_dep_Restr_xi.con.xml.gz2004-04-08 09:32 603  
[ ]Assign_eq_trans.con.xml.gz2004-04-08 09:32 591  
[ ]BF_eq.con.body.xml.gz2004-04-08 09:32 586  
[ ]BF_eq_trans.con.xml.gz2004-04-08 09:32 577  
[ ]Restr.con.body.xml.gz2004-04-08 09:32 575  
[ ]Greatest_Dep_Var_ind.con.body.xml.gz2004-04-08 09:32 574  
[ ]Assign_k_finite.con.xml.gz2004-04-08 09:32 573  
[ ]Greatest_Dep_Var_rec.con.body.xml.gz2004-04-08 09:32 565  
[ ]Restr_le.con.body.xml.gz2004-04-08 09:32 559  
[ ]Gst_Dep_Var_inv_Dep.con.xml.gz2004-04-08 09:32 556  
[ ]Dep_set_decidable.con.xml.gz2004-04-08 09:32 555  
[ ]Upd_le_n_Cst.con.xml.gz2004-04-08 09:32 551  
[ ]Restr_le_n_Fcst.con.xml.gz2004-04-08 09:32 548  
[ ]Upd_le_O_Id.con.xml.gz2004-04-08 09:32 541  
[ ]BF_eq_refl.con.body.xml.gz2004-04-08 09:32 538  
[ ]Assign_eq_sym.con.xml.gz2004-04-08 09:32 535  
[ ]BF_eq_sym.con.xml.gz2004-04-08 09:32 524  
[ ]Assign_n_inhabited.con.xml.gz2004-04-08 09:32 521  
[ ]Upd'.con.body.xml.gz2004-04-08 09:32 520  
[ ]Fcst.con.body.xml.gz2004-04-08 09:32 516  
[ ]Assign_n_finite.con.xml.gz2004-04-08 09:32 512  
[ ]Dep_set.con.body.xml.gz2004-04-08 09:32 496  
[ ]Upd.con.xml.gz2004-04-08 09:32 461  
[ ]Upd'.con.xml.gz2004-04-08 09:32 460  
[ ]Restr.con.xml.gz2004-04-08 09:32 460  
[ ]Assign_eq_refl.con.xml.gz2004-04-08 09:32 459  
[ ]BF_eq_refl.con.xml.gz2004-04-08 09:32 446  
[ ]Upd_le.con.xml.gz2004-04-08 09:32 443  
[ ]Restr_le.con.xml.gz2004-04-08 09:32 438  
[ ]Dep_Var.con.xml.gz2004-04-08 09:32 436  
[ ]Assign.con.body.xml.gz2004-04-08 09:32 429  
[ ]BF.con.body.xml.gz2004-04-08 09:32 428  
[ ]Cst_Ass.con.body.xml.gz2004-04-08 09:32 425  
[ ]Fcst.con.xml.gz2004-04-08 09:32 423  
[ ]BF_eq.con.xml.gz2004-04-08 09:32 423  
[ ]Assign_gt.con.xml.gz2004-04-08 09:32 415  
[ ]Dep_set.con.xml.gz2004-04-08 09:32 413  
[ ]Cst_Ass.con.xml.gz2004-04-08 09:32 391  
[ ]Assign.con.xml.gz2004-04-08 09:32 288  
[ ]BF.con.xml.gz2004-04-08 09:32 281  
[ ]Greatest_Dep_Var_rect.con.types.xml.gz2004-04-08 09:32 239  
[ ]Greatest_Dep_Var_rec.con.types.xml.gz2004-04-08 09:32 238  
[ ]Greatest_Dep_Var.ind.types.xml.gz2004-04-08 09:32 228  
[ ]Constant_fct.ind.types.xml.gz2004-04-08 09:32 221  
[ ]Assign_subst.con.types.xml.gz2004-04-08 09:32 221  
[ ]Assign_gt.con.types.xml.gz2004-04-08 09:32 216  
[ ]Assign_eq.ind.types.xml.gz2004-04-08 09:32 216  
[ ]Restr_le.con.types.xml.gz2004-04-08 09:32 215  
[ ]Dep_Var.con.types.xml.gz2004-04-08 09:32 214  
[ ]Dep_set.con.types.xml.gz2004-04-08 09:32 213  
[ ]Cst_Ass.con.types.xml.gz2004-04-08 09:32 213  
[ ]Upd_le.con.types.xml.gz2004-04-08 09:32 212  
[ ]Assign.con.types.xml.gz2004-04-08 09:32 211  
[ ]Upd'.con.types.xml.gz2004-04-08 09:32 210  
[ ]BF_eq.con.types.xml.gz2004-04-08 09:32 210  
[ ]Restr.con.types.xml.gz2004-04-08 09:32 209  
[ ]Fcst.con.types.xml.gz2004-04-08 09:32 208  
[ ]Upd.con.types.xml.gz2004-04-08 09:32 207  
[ ]BF.con.types.xml.gz2004-04-08 09:32 205  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80