![](https://www.pdfsearch.io/img/f82d3f5a7c3060a862072d141fbd5ef8.jpg) Date: 2011-04-26 05:41:56
| | Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1Add to Reading ListSource URL: drops.dagstuhl.deDownload Document from Source Website File Size: 1,68 MBShare Document on Facebook
|