Title: Rewriting techniques and applications
Subjects: Réécriture, Algebraïsche logica, Réécriture, Systèmes de (informatique), Implémentation, Génération code, Congrès, Produktion (Informatik), Informatique, Théorie groupe, Termersetzungssystem, Bewijstheorie, Algorithmes, Datenverarbeitung, Réécriture, Systèmes de (Informatique), Reduktionssystem, Specificatie, Complétude, Kongress, Computermethoden, Computer algorithms, Programmation (Informatique), Congresses, Computer programming, Rewriting systems (Computer science), Compilation