Rewriting techniques and applicationsde Pierre LescanneMateriasRéécritureAlgebraïsche logicaRéécriture, Systèmes de (informatique)ImplémentationGénération codeCongrèsProduktion (Informatik)InformatiqueThéorie groupeTermersetzungssystemBewijstheorieAlgorithmesEdiciones Más obras de Pierre LescanneAlgebraic and logic programmingAAlgebraic and logic programmingAlgebraic and logic programmingRewriting Techniques and Applications