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

Research output: Book / Report › Book › Academic › peer-review

Name
No.	21

Gebeurtenis: RTA 2013

Access to Document

@book{e4e3a45ad853457fa8d81ba579639576,

title = "Proceedings of the 24th International Conference on Rewriting Techniques and Applications",

author = "{van Raamsdonk}, F.",

note = "Gebeurtenis: RTA 2013",

year = "2013",

doi = "10.4230/LIPIcs.RTA.2013.i",

language = "English",

isbn = "9783939897538",

publisher = "LIPICS",

number = "21",

}

TY - BOOK

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

AU - van Raamsdonk, F.

N1 - Gebeurtenis: RTA 2013

PY - 2013

Y1 - 2013

U2 - 10.4230/LIPIcs.RTA.2013.i

DO - 10.4230/LIPIcs.RTA.2013.i

M3 - Book

SN - 9783939897538

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

PB - LIPICS

CY - Dagstuhl, Germany

ER -