Lista de lectura sobre sistemas de reescritura?

8

Soy nuevo en el estudio de sistemas de reescritura como estudiante de doctorado de primer año. Me gustaría proponer un curso de temas especiales sobre la teoría de la reescritura, y quiero asegurarme de no dejar de lado ninguna de las fuentes originales.

Tengo una copia de Barendregt y Terese como fuentes de libros de texto. Para trabajos originales: he estado mirando el trabajo de Dershowitz para probar la terminación, el trabajo de Huet sobre la confluencia, el trabajo de Van Oostrom sobre los diagramas decrecientes y el trabajo de Ohlebusch sobre la equivalencia del módulo de confluencia, y el trabajo de Toyama sobre la modularidad. Espero terminar con un puñado de papeles influyentes clásicos y recientes. Además, si alguien puede recomendar algunos buenos documentos sobre los vínculos entre la topología algebraica, la teoría de categorías y la teoría de reescritura, también lo agradecería.

Jonathan Gallagher
fuente

Respuestas:

7

No tengo una recomendación específica para su lista de lectura, pero quiero alertarlo sobre la excelente encuesta sobre "Rewrite Systems" de Dershowitz y Jouannaud en el Manual de Ciencias de la Computación Teórica, volumen B.

Uday Reddy
fuente