Proceedings : twenty-third Annual IEEE Symposium on Logic in Computer Science : 24-27 June 2008 Pittsburgh, Pennsylvania
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science
IEEE Computer Society, c2008
Twenty-third Annual IEEE Symposium on Logic in Computer Science : (LICS 2008) : Pittsburgh, Pennsylvania, 24-27 June 2008
IEEE Computer Society Order Number: P3183
Includes bibliographical references and author index