Bugge Grathwohl,尼尔斯·比约恩;杰罗·凯特马;Jens Duelund,Pallesen;雅各布·格鲁·西蒙森 Anagopos:用于术语重写和lambda演算的约简图形可视化工具。 (英语) Zbl 1236.68123号 Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学会议录10,61-70,仅电子版(2011年)。 摘要:我们介绍了Anagopos,这是一个开源工具,用于可视化lambda演算中的术语约简图和术语重写。Anagopos允许在六种不同的图形绘制算法下逐步生成约简图。我们提供了使用该工具绘制图形的示例。关于整个系列,请参见[Zbl 1235.68033号]. MSC公司: 2012年第68季度 语法和重写系统 68兰特 计算机科学中的图论(包括图形绘制) 关键词:项重写;λ演算;约简图;可视化 软件:阿那戈波斯;TILC公司;格拉夫维兹;郁金香 PDF格式BibTeX公司 XML格式引用 \textit{N.B.Bugge Grathwohl}等人,LIPIcs——莱布尼茨国际程序。通知。10、61-70(2011年;Zbl 1236.68123) 全文: 内政部 链接