Difference between revisions of "WG211/M3ODonnell"

Revision as of 11:06, 12 December 2011

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

Abstract:
TBA

Revision as of 09:19, 1 December 2011 (view source) Twiki (talk) (Created page with "Category:WG211 <HTML> <HEAD> <title>John O'Donnell</title> </head> <body bgcolor="white"> Title: Equational Reasoning with Circuit Transformations in Hydra <br>Speaker: J...")	Revision as of 11:06, 12 December 2011 (view source) Admin (talk \| contribs) m (1 revision) Newer edit →
(No difference)