Title: Rewriting Techniques and Applications
Subjects: Réécriture, Algebraïsche logica, Algorithme, Informatique théorique, Logiciel, Congrès, Computer programming, Termersetzungssystem, Démonstration théorème, Bewijstheorie, Algorithmes, Réécriture, Systèmes de (Informatique), Rewriting systems (Computer science), Specificatie, Démonstration automatique, Computer algorithms, Programmation (Informatique), Congresses, Unification, Programmation en logique, Computermethoden, Algorithms, Machine theory, Systèmes de réécriture (Informatique), Datenverarbeitung, Produktion, Reduktionssystem