- On the Complexity of the Disjunction Property in Intuitionistic and Modal Logics Mauro Ferrari Camillo Fiorentini Guido Fiorino Mon 14 September 2020
- Mean-payoff games and propositional proofs Albert Atserias Elitza Maneva Tue 18 December 2012
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
