@inproceedings{e597be1972424f0788fa9a01048ba2f1,
title = "Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus",
abstract = "We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool.",
keywords = "METIS-277646, IR-77314, Term rewriting, Lambda calculus, Reduction graphs, EWI-20183, CR-H.5.0, CR-I.3.0, CR-F.3.1, CR-F.4.2, Visualization",
author = "Grathwohl, {Niels Bj{\o}rn Bugge} and J. Ketema and Pallesen, {Jens Duelund} and Simonsen, {Jakob Grue}",
note = "eemcs-eprint-20183 ; 22nd International Conference on Rewriting Techniques and Applications (RTA'11) ; Conference date: 30-05-2011 Through 01-06-2011",
year = "2011",
month = may,
doi = "10.4230/LIPIcs.RTA.2011.61",
language = "Undefined",
isbn = "978-3-939897-30-9",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
publisher = "Dagstuhl",
pages = "61--70",
booktitle = "Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11)",
address = "Germany",
}