Friday, August 11, 2006
CL&C2006 Talk
I gave a presentation at CL&C 2006. Here are slides and the paper presented there. You can obtain Technical Report which shows more examples and complete proofs.
# posted by Unknown @ 8:28 PM 
