Standard
Anagopos : a reduction graph visualizer for term rewriting and lambda calculus. / Grathwohl, Niels Bjørn Bugge; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue.
22nd International Conference on Rewriting Techniques and Applications (RTA'11). ed. / Manfred Schmidt-Schauß. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. p. 61-70 (Leibniz International Proceedings in Informatics, Vol. 10).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Grathwohl, NBB, Ketema, J, Pallesen, JD
& Simonsen, JG 2011,
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. in M Schmidt-Schauß (ed.),
22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Leibniz International Proceedings in Informatics, vol. 10, pp. 61-70, 22nd International Conference on Rewriting Techniques and Applications, Novi Sad, Serbia,
30/05/2011.
https://doi.org/10.4230/LIPIcs.RTA.2011.61
APA
Grathwohl, N. B. B., Ketema, J., Pallesen, J. D.
, & Simonsen, J. G. (2011).
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. In M. Schmidt-Schauß (Ed.),
22nd International Conference on Rewriting Techniques and Applications (RTA'11) (pp. 61-70). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics Vol. 10
https://doi.org/10.4230/LIPIcs.RTA.2011.61
Vancouver
Grathwohl NBB, Ketema J, Pallesen JD
, Simonsen JG.
Anagopos: a reduction graph visualizer for term rewriting and lambda calculus. In Schmidt-Schauß M, editor, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 2011. p. 61-70. (Leibniz International Proceedings in Informatics, Vol. 10).
https://doi.org/10.4230/LIPIcs.RTA.2011.61
Author
Grathwohl, Niels Bjørn Bugge ; Ketema, Jeroen ; Pallesen, Jens Duelund ; Simonsen, Jakob Grue. / Anagopos : a reduction graph visualizer for term rewriting and lambda calculus. 22nd International Conference on Rewriting Techniques and Applications (RTA'11). editor / Manfred Schmidt-Schauß. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. pp. 61-70 (Leibniz International Proceedings in Informatics, Vol. 10).
Bibtex
@inproceedings{2165672e890c40c8aff40cac54e5bc85,
title = "Anagopos: a reduction graph visualizer for term rewriting and lambda calculus",
author = "Grathwohl, {Niels Bj{\o}rn Bugge} and Jeroen Ketema and Pallesen, {Jens Duelund} and Simonsen, {Jakob Grue}",
year = "2011",
doi = "10.4230/LIPIcs.RTA.2011.61",
language = "English",
isbn = "978-3-939897-30-9",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
pages = "61--70",
editor = "Manfred Schmidt-Schau{\ss}",
booktitle = "22nd International Conference on Rewriting Techniques and Applications (RTA'11)",
note = "22nd International Conference on Rewriting Techniques and Applications ; Conference date: 30-05-2011 Through 01-06-2011",
}
RIS
TY - GEN
T1 - Anagopos
T2 - 22nd International Conference on Rewriting Techniques and Applications
AU - Grathwohl, Niels Bjørn Bugge
AU - Ketema, Jeroen
AU - Pallesen, Jens Duelund
AU - Simonsen, Jakob Grue
PY - 2011
Y1 - 2011
U2 - 10.4230/LIPIcs.RTA.2011.61
DO - 10.4230/LIPIcs.RTA.2011.61
M3 - Article in proceedings
SN - 978-3-939897-30-9
T3 - Leibniz International Proceedings in Informatics
SP - 61
EP - 70
BT - 22nd International Conference on Rewriting Techniques and Applications (RTA'11)
A2 - Schmidt-Schauß, Manfred
PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Y2 - 30 May 2011 through 1 June 2011
ER -