Lista de leitura sobre sistemas de reescrita?

8

Eu sou novo no estudo de sistemas de reescrita como aluno de doutorado no primeiro ano. Gostaria de propor um curso de tópicos especiais sobre a reescrita da teoria e quero ter certeza de não deixar nenhuma das fontes originais de fora.

Tenho uma cópia de Barendregt e Terese como fontes de livros didáticos. Para artigos originais: estive analisando o trabalho de Dershowitz sobre a prova de terminação, o artigo de Huet sobre confluência, o artigo de Van Oostrom sobre diagramas decrescentes e o artigo de Ohlebusch sobre equivalência de módulo de confluência e o trabalho de Toyama sobre modularidade. Espero terminar com um punhado de artigos influentes clássicos e recentes. Além disso, se alguém puder recomendar alguns bons trabalhos sobre os vínculos entre topologia algébrica, teoria de categorias e teoria de reescrita, eu também apreciaria.

Jonathan Gallagher
fonte

Respostas:

7

Não tenho uma recomendação específica para sua lista de leitura, mas quero alertá-lo para a excelente pesquisa sobre "Sistemas de reescrita" de Dershowitz e Jouannaud no Handbook of Theoretical Computer Science, volume B.

Uday Reddy
fonte