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
Volume	21
ISBN (Electronic)	978-3-939897-53-8
DOIs	https://doi.org/10.4230/LIPIcs.RTA.2013.i
Publication status	Published - Jun 2013
Event	24th International Conference on Rewriting Techniques and Applications - Eindhoven, Netherlands Duration: 24 Jun 2013 → 26 Jun 2013 Conference number: 24

Keywords

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

@book{970118c4f9af485694fbb7859821277a,

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",

month = jun,

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

language = "English",

volume = "21",

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/6

Y1 - 2013/6

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

UR - https://drops.dagstuhl.de/opus/volltexte/2013/4048/

U2 - 10.4230/LIPIcs.RTA.2013.i

DO - 10.4230/LIPIcs.RTA.2013.i

M3 - Book (Editorship)

VL - 21

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 -