dblp.uni-trier.de www.uni-trier.de

8. MPC 2006: Kuressaare, Estonia

Tarmo Uustalu (Ed.): Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Lecture Notes in Computer Science 4014 Springer 2006, ISBN 3-540-35631-2 BibTeX

Invited Talks

Contributed Papers

Copyright © Sat May 16 23:30:45 2009 by Michael Ley (ley@uni-trier.de)