Emmenegger, Jacopo; Palmgren, Erik Exact completion and constructive theories of sets. (English) Zbl 1485.03257 J. Symb. Log. 85, No. 2, 563-584 (2020). Reviewer: Amit Kuber (Kanpur) MSC: 03G30 18A35 18B25 18A15 03B38 18B05 18D15 03F55 PDFBibTeX XMLCite \textit{J. Emmenegger} and \textit{E. Palmgren}, J. Symb. Log. 85, No. 2, 563--584 (2020; Zbl 1485.03257) Full Text: DOI arXiv
Forbes, Michael A.; Ghosh, Sumanta; Saxena, Nitin Towards blackbox identity testing of log-variate circuits. (English) Zbl 1499.68390 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 54, 16 p. (2018). MSC: 68W20 68Q06 PDFBibTeX XMLCite \textit{M. A. Forbes} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 54, 16 p. (2018; Zbl 1499.68390) Full Text: DOI