Exploring new frontiers of theoretical informaticsIfip TC1 International Conference on Theoretical Computer Science (3rd 2004 Toulouse, France)2004PDF37 MB