Algebra and Combinatorics

   
   

Members

Seminars

Events

Publications

 
 

details

Title
O problema do homomorfismo para monóides de traços

Abstract
O problema de determinar se uma função de domínio finito pode ou nâo ser estendida a um homomorfismo entre dois monóides de traços (monóides parcialmente comutativos livres) é indecidível. No entanto, é possivel provar a decidibilidade se o monóide de partida for livre. Como consequência, demonstra-se a decidibilidade do problema do isomorfismo para o monóide livre.

Speaker(s)
Pedro Silva (Universidade do Porto, Portugal)

Date
October 12, 2001

Time
14:30

Room
Sala 5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia