Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)

Research output: Book / Report › Book (Editorship) › Academic

Original language	English
Place of Publication	Dagstuhl
Publisher	LIPICS
Number of pages	367
ISBN (Electronic)	9783939897538
DOIs	https://doi.org/10.4230/LIPIcs.RTA.2013.i
Publication status	Published - 2013
Event	24th International Conference on Rewriting Techniques and Applications - Eindhoven, Netherlands Duration: 24 Jun 2013 → 26 Jun 2013 Conference number: 24

Name	Leibniz International Proceedings in Informatics (LIPIcs)
Publisher	Dagstuhl
Volume	21

Keywords

rewriting, models of computations, terms, graphs, higher-order, lambda calculus, formal languages

@book{e4e3a45ad853457fa8d81ba579639576,

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

keywords = "rewriting, models of computations, terms, graphs, higher-order, lambda calculus, formal languages",

editor = "\{van Raamsdonk\}, Femke",

year = "2013",

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

language = "English",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

publisher = "LIPICS",

note = "24th International Conference on Rewriting Techniques and Applications, RTA 2013 ; Conference date: 24-06-2013 Through 26-06-2013",

}

TY - BOOK

T1 - Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)

A2 - van Raamsdonk, Femke

N1 - Conference code: 24

PY - 2013

Y1 - 2013

KW - rewriting, models of computations, terms, graphs, higher-order, lambda calculus, formal languages

U2 - 10.4230/LIPIcs.RTA.2013.i

DO - 10.4230/LIPIcs.RTA.2013.i

M3 - Book (Editorship)

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

BT - Proceedings of the 24th International Conference on Rewriting Techniques and Applications (RTA 2013)

PB - LIPICS

CY - Dagstuhl

T2 - 24th International Conference on Rewriting Techniques and Applications

Y2 - 24 June 2013 through 26 June 2013

ER -