
Rewriting Techniques and Applications
Subjects
Logic designComputational complexitySymbolic and mathematical LogicComputer scienceData processingAlgebraRewriting systems (Computer science)CongressesComputer programmingAlgorithmsReduktionssystemKongressMachine theory