First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 1,68 MBShare Document on Facebook |