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.

Comments: Post a Comment

Links to this post:

Create a Link

<< Home

This page is powered by Blogger. Isn't yours?