Sistemas de reescrita e bases de Grobner
19/05/2006 Sexta-feira, 19 de Maio de 2006, 16h00, Anfiteatro
António Malheiro
(CAUL, Universidade Nova de Lisboa, Portugal)
Pretendemos abordar algumas das propriedades elementares da teoria dos sistemas de reescrita (noetherianos, confluentes, completos, etc) e relacioná-los com as bases de Grober.
|
