Sala 6.2.33, FCUL, Lisboa
Por Cristina Sernadas (Instituto Superior Técnico, CMAFcIO).
Abstract: Some reduction techniques are presented for proving decidability of mathematical theories and of logic problems, along with relevant illustrations.
16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional