Alexis Maciel
From MaRDI portal
Person:696976
Available identifiers
zbMath Open maciel.alexisMaRDI QIDQ696976
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
A new proof of the weak pigeonhole principle | 2014-09-26 | Paper |
Non-automatizability of bounded-depth Frege proofs | 2005-02-23 | Paper |
Efficient threshold circuits for power series | 2003-01-14 | Paper |
A new proof of the weak pigeonhole principle | 2002-09-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4527041 | 2001-03-01 | Paper |
Programs over semigroups of dot-depth one | 2000-08-21 | Paper |
Threshold circuits of small majority-depth | 1999-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4375795 | 1998-07-08 | Paper |
Upper and lower bounds for some depth-3 circuit classes | 1998-07-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4281557 | 1994-03-10 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Alexis Maciel