Michael D. Pedersen

Publication Activity (10 Years)

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

Publications

Hans Hüttel, Michael D. Pedersen
A Logical Characterisation of Static Equivalence. MFPS (2007)