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"