On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

WG211/M3ODonnell: Difference between revisions

From WG 2.11
Jump to navigationJump to search
Newer edit →
VisualWikitext
m 1 revision
(No difference)

Revision as of 12:06, 12 December 2011


John O'Donnell Title: Equational Reasoning with Circuit Transformations in Hydra
Speaker: John O'Donnell

Abstract:
TBA

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M3ODonnell&oldid=153"