EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Classification: CR-H.5.0
Home Policy Brochure Browse Search User Area Contact Help

2011

Grathwohl, N.B.B. and Ketema, J. and Pallesen, J.D. and Simonsen, J.G. (2011) Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA'11), 30 May - 1 June 2011, Novi Sad, Serbia. pp. 61-70. Leibniz International Proceedings in Informatics (LIPIcs) 10. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. ISSN 1868-8969 ISBN 978-3-939897-30-9