Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||