Rewriting techniques and applications

Rewriting techniques and applications
Details
- OL Work ID
- OL19899913W
Subjects
RéécritureAlgebraïsche logicaRéécriture, Systèmes de (informatique)ImplémentationGénération codeCongrèsProduktion (Informatik)InformatiqueThéorie groupeTermersetzungssystemBewijstheorieAlgorithmesDatenverarbeitungRéécriture, Systèmes de (Informatique)ReduktionssystemSpecificatieComplétudeKongress