Teoria da Reescrita
    Programa resumido

   1. Especificação Algébrica

      1.1 Preliminares
      1.2 Assinaturas homogéneas 
      1.3 Algebras homogéneas 
        1.3.1 Homomorfismos 
        1.3.2 Algebra dos termos 
        1.3.3 Termos com variáveis 
        1.3.4 Valorações 
        1.3.5 Substituições 
      1.4 Assinaturas Heterogéneas 
      1.5 Equações 
      1.6 Dedução Equacional 

   2. Reescrita 

      2.1 Definições básicas 
      2.2 Terminação 
      2.3 Confluência 
      2.4 Completação de Knuth-Bendix

   (José Bernardo Barros)
        9/10/98