Jens Duelund Pallesen

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. RTA (2011)