Alexis Maciel
From MaRDI portal
Person:696976
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
