Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

Author(s)

• Symposium on Logic in Computer Science
• IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
• Association for Symbolic Logic
• European Association for Theoretical Computer Science

Bibliographic Information

Proceedings : 25th Annual IEEE Symposium on Logic in Computer Science : LICS 2010 : 11-14 July 2010 Edinburgh, United Kingdom

supported by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic and the European Association for Theoretical Computer Science

IEEE Computer Society, c2010

Other Title

2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) : Edinburgh, United Kingdom 11-14 July 2010

Note

IEEE catalog number: CFP10039-PRT

Includes bibliographical references and index

Details

• NCID: BB04149663
• ISBN:
  • 9781424475889
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Los Alamitos, Calif. ; Tokyo
• Pages/Volumes: 432 p.
• Size: 27 cm