Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical

First Page		Document Content
Date: 2012-10-30 04:29:34		Program of the Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE 21–24 June 2011, Toronto, Ontario, Canada The symposium is sponsored by the IEEE Computer Society’s Technical Committee on Mathematical Add to Reading List Source URL: lics.rwth-aachen.de Download Document from Source Website File Size: 135,26 KB Share Document on Facebook