Alexis Maciel
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A new proof of the weak pigeonhole principle Proceedings of the thirty-second annual ACM symposium on Theory of computing | 2014-09-26 | Paper |
| Non-automatizability of bounded-depth Frege proofs Computational Complexity | 2005-02-23 | Paper |
| Efficient threshold circuits for power series Information and Computation | 2003-01-14 | Paper |
| A new proof of the weak pigeonhole principle Journal of Computer and System Sciences | 2002-09-12 | Paper |
| scientific article; zbMATH DE number 1559592 (Why is no real title available?) | 2001-03-01 | Paper |
| Programs over semigroups of dot-depth one Theoretical Computer Science | 2000-08-21 | Paper |
| Threshold circuits of small majority-depth Information and Computation | 1999-01-06 | Paper |
| scientific article; zbMATH DE number 1114025 (Why is no real title available?) | 1998-07-08 | Paper |
| Upper and lower bounds for some depth-3 circuit classes Computational Complexity | 1998-07-06 | Paper |
| scientific article; zbMATH DE number 512860 (Why is no real title available?) | 1994-03-10 | Paper |
Research outcomes over time
This page was built for person: Alexis Maciel
