Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
Jörg Flum (Alemanya)
Publicacions
Consistency and optimality, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *Consistency and optimality*. Publicacions del CRM, núm. 1014 (2011)
Consistency and Optimality, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. `Consistency and Optimality´. In: *Proceedings of the 7th Computability in Europe (CiE)*, Springer LNCS 6735, 61–70 (2011)
Hard instances of algorithms and proof systems, 2010
CHEN, Y.; FLUM, J. & MÜLLER, M. `Hard instances of algorithms and proof systems´. Submitted
Hard instances of algorithms and proof systems, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *Hard instances of algorithms and proof systems*. Publicacions del CRM, núm. 1024 (2011)
Lower bounds for kernelizations, 2008
CHEN, Y.; FLUM, J. & MÜLLER, M. *Lower bounds for kernelizations*. Publicacions del CRM, núm. 836 (2008)
Lower bounds for kernelizations and other preprocessing procedures, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. `Lower bounds for kernelizations and other preprocessing procedures´. *Theory of Computing Systems*; 48 (4), 803–839 (2011)
On optimal algorithms for SAT. Logical Approaches to Barriers in Computing and Complexity, 2010
CHEN Y.; FLUM, J. & MÜLLER, M. *On optimal algorithms for SAT. Logical Approaches to Barriers in Computing and Complexity*. preprint of the Department of Mathematics and Computer Science at the University Greifswald, No. 6 (2010)
On optimal probabilistic algorithms for Sat, 2011
CHEN, Y.; FLUM, J. & MÜLLER, M. *On optimal probabilistic algorithms for Sat*. Publicacions del CRM, núm. 1008 (2011)
On p-optimal proof systems and logics for PTIME, 2010
CHEN, Y. & FLUM, J. *On p-optimal proof systems and logics for PTIME*. Publicacions del CRM, núm. 997 (2010)
On slicewise monotone parameterized problems and optimal proof systems for TAUT, 2010
CHEN, Y. & FLUM, J. *On slicewise monotone parameterized problems and optimal proof systems for TAUT*. Publicacions del CRM, núm. 998 (2010)
Polinomios y Lógica Matemática, 1993
FLUM, J. *Polinomios y Lógica Matemática*. Publicacions del CRM, núm. 230 (1993)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM J.; FRIEDMAN, S.-D. & MÜLLER, M. *Strong isomorphism reductions in complexity theory*. Publicacions del CRM, núm. 1009 (2011)
Strong isomorphism reductions in complexity theory, 2011
BUSS, S.; CHEN, Y.; FLUM, J.; FRIEDMAN, S.D. & MÜLLER, M. `Strong isomorphism reductions in complexity theory´. *The Journal of Symbolic Logic*; 76, 1381-1402 (2011)
Participacions a Congressos
Meeting on Mathematical Logic (BLM94)
CRM, Bellaterra (27/1/1994- 29/1/1994)
Infinity Conference
CRM, Bellaterra (18/7/2011- 22/7/2011)
Organitzat pel programa de recerca Infinity Project (2009-2011)
Altres activitats (conferències, seminaris)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, I (14/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, II (16/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, III (19/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, IV (21/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Teoría de la estabilidad (22/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, V (23/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, VII (26/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [14/3/1990 - 28/3/1990]
Curs d´introducció a la lògica matemàtica i a la teoria de models, VI (26/3/1990)
Programa de cooperació amb regions europees del Consell Interdepartamental de Recerca i Innovació Tecnològica (CIRIT)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [15/2/1993 - 15/5/1993]
Teoría de modelos finitos (17/2/1993)
Investigador visitant - Albert-Ludwigs-Univ. Freiburg i. Br. - Lògica [15/2/1993 - 15/5/1993]
0-1 leyes en teoría de modelos finitos (14/4/1993)
Ponent de congrés - Albert-Ludwigs-Univ. Freiburg i. Br. - [27/1/1994 - 29/1/1994]
Fixed-point logic (27/1/1994)
Dins el Meeting on Mathematical Logic, 27 a 29 gener 1994. No en consta la data exacta
(desconegut -data aproximada) - Albert-Ludwigs-Univ. Freiburg i. Br. - [1/1/1996 - ]
Los teoremas de C D² F J M (1/9/1996)
No en consta la data exacta
Ponent de congrés - Albert-Ludwigs-Univ. Freiburg i. Br. - [30/1/1997 - 1/2/1997]
Fixed-point logic and Datalog (30/1/1997)
Dins el 3rd Barcelona Logic Meeting, 30 gener a 1 febrer 1997. No en consta la data exacta
(desconegut -data aproximada) - Albert-Ludwigs-Univ. Freiburg i. Br. - [1/11/1997 - ]
Homogeneidad pseudo-finita y saturación (1/11/1997)
No en consta la data exacta
Ponent de congrés - Albert-Ludwigs-Univ. Freiburg i. Br. - [16/6/1999 - 19/6/1999]
Model theory and parametrized complexity (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
(desconegut -data aproximada) - Albert-Ludwigs-Univ. Freiburg i. Br. - [1/9/1999 - ]
Descomposiciones arbóreas y lógica (1/9/1999)
No en consta la data exacta
(desconegut -data aproximada) - Albert-Ludwigs-Univ. Freiburg i. Br. - [1/1/2001 - ]
Grafos y Lógica (1/2/2001)
No en consta la data exacta
(desconegut -data aproximada) - Albert-Ludwigs-Univ. Freiburg i. Br. - [1/1/2002 - ]
Decidir y contar (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