Davide Grossi updated the layout  about 8 years ago

Commit id: a16bd13f27c3b5cf6d37b7daaa504d257992999c

deletions | additions      

       

untitled.tex  figures/BDPs1/BDPs1.png  section_Binary_Aggregation_and_DeGroot__.tex section_Binary_aggregation_and_DeGroot__.tex  section_Convergence_label_sec_convergence__.tex  section_Fixpoint_Logics_for_Boolean__.tex  section_Unanimity_and_2_colorability__.tex