Rewriting Techniques and Applications

Rewriting Techniques and Applications
Details
- OL Work ID
- OL8054504W
Subjects
RéécritureAlgebraïsche logicaAlgorithmeInformatique théoriqueLogicielCongrèsComputer programmingTermersetzungssystemDémonstration théorèmeBewijstheorieAlgorithmesRéécriture, Systèmes de (Informatique)Rewriting systems (Computer science)SpecificatieDémonstration automatiqueComputer algorithmsProgrammation (Informatique)Congresses