| |
|
Description: |
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.
Area(s):
|
|
Date: |
|
| Start Time: |
14:30 |
|
Speaker: |
Pedro Silva (Universidade do Porto, Portugal)
|
|
Place: |
Sala 5.5
|
| Research Groups: |
-Algebra and Combinatorics
|
|
See more:
|
<Main>
|
|
