Conferčncies i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
F. F. Lara Martín
Altres activitats (conferències, seminaris)
Ponent de congrés - ? - [30/1/1997 - 1/2/1997]
Induction and minimization for ??n+1(T)-formulas (30/1/1997)
Dins el 3rd Barcelona Logic Meeting, 30 gener a 1 febrer 1997. No en consta la data exacta. Conjuntament amb A. Fernández-Margarit
Ponent de congrés - ? - [16/6/1999 - 19/6/1999]
A hierarchy for ??n + 1(T)-induction (16/6/1999)
Dins el 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium, 16 a 19 juny 1999. No en consta la data exacta. Conjuntament amb A. Fernández-Margarit