Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
A. Atserias
Publicacions
Mean-payoff games and propositional proofs, 2010
ATSERIAS, A. & MANEVA E. *Mean-payoff games and propositional proofs*. Publicacions del CRM, núm. 950 (2010)
Partially definable forcing and bounded arithmetic, 2011
ATSERIAS, A. & MÜLLER, M. *Partially definable forcing and bounded arithmetic*. Publicacions del CRM, núm. 1007 (2011)
Altres activitats (conferències, seminaris)
(desconegut -data aproximada) - ? - [1/1/2000 - ]
Inductive definitions in finite set theory (1/11/2000)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/2001 - ]
Inexpressivitat de circuits de profunditat constant (1/2/2001)
No en consta la data exacta
(desconegut -data aproximada) - ? - [1/1/2002 - ]
Unsatisfiable random formulas are hard to certify (1/1/2002)
Dins el Seminari de Lògica organitzat per ICREA, la Univ. Barcelona i la Univ. Politècnica Catalunya. No en consta la data exacta
Ponent de congrés - Univ. Politècnica Catalunya - [15/3/2005 - 17/3/2005]
P versus NP (15/3/2005)
Dins Fourth Cycle of Ferran Sunyer i Balaguer Lectures, Sabadell, 15 a 17 març 2005. No en consta la data exacta