Proceedings of the 24th International Conference on Rewriting Techniques and Applications

Research output: Book / ReportBookpeer-review

Original languageEnglish
Place of PublicationDagstuhl, Germany
PublisherLIPICS
Number of pages367
ISBN (Print)9783939897538
DOIs
Publication statusPublished - 2013

Publication series

Name
No.21

Bibliographical note

Gebeurtenis: RTA 2013

Cite this