Cited By
View all- Alam AMoniri M(2022)Models of Bounded Arithmetic Theories and Some Related Complexity QuestionsBulletin of the Section of Logic10.18778/0138-0680.2022.0351:2(163-176)Online publication date: 7-Jun-2022
- Das AKoskinen EGrohe MShankar N(2016)From positive and intuitionistic bounded arithmetic to monotone proof complexityProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/2933575.2934570(126-135)Online publication date: 5-Jul-2016
- Gaboardi MPéchoux R(2015)Algebras and coalgebras in the light affine Lambda calculusACM SIGPLAN Notices10.1145/2858949.278475950:9(114-126)Online publication date: 29-Aug-2015
- Show More Cited By